{"paper":{"title":"Bounded Parikh Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alain Finkel (LSV, ENS Cachan & CNRS), Micha\\\"el Cadilhac (DIRO, Pierre McKenzie (DIRO, Universit\\'e de Montr\\'eal)","submitted_at":"2011-08-18T03:53:15Z","abstract_excerpt":"The Parikh finite word automaton model (PA) was introduced and studied by Klaedtke and Ruess in 2003.  Here, by means of related models, it is shown that the bounded languages recognized by PA are the same as those recognized by deterministic PA.  Moreover, this class of languages is the class of bounded languages whose set of iterations is semilinear."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.3625","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}