We consider the problem of determining if a string w belongs to a language L specified by an automaton (NFA, or PDA augmented by reversal-bounded counters, etc.) where the string w is specified by its Parikh vector. If the automaton (PDA augmented with reversal-bounded counters) is fixed and the Parikh vector is encoded in unary (binary), the problem is in DLOGSPACE (PTIME). When the automaton is part of the input and the Parikh vector is encoded in binary, we show the following results: if the input is an NFA accepting a letter-bounded language (i.e., ⊆ a*1 ⋯ a*k for some distinct symbols a1, ..., ak ), the problem is in PTIME, but if the input is an NFA accepting a word-bounded language (i.e., ⊆ w*1 ⋯ w*m for some nonnull strings w1, ..., wm ), it is NP-complete. The proofs involve solving systems of linear Diophantine equations with non-negative integer coefficients. As an application of the results, we present efficient algorithms for a generalization of a tiling problem posed recently by Dana Scott. Finally, we give a classification of the complexity of the membership problem for restricted classes of semilinear sets. © 2014 Springer International Publishing.
CITATION STYLE
Ibarra, O. H., & Ravikumar, B. (2014). On the Parikh membership problem for FAs, PDAs, and CMs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8370 LNCS, pp. 14–31). https://doi.org/10.1007/978-3-319-04921-2_2
Mendeley helps you to discover research relevant for your work.