Lookahead DFA are used during parsing for sake of resolving conflicts (as described in more detail in the introduction). The parsing of an input string w may require many DFA-explorations starting from different letter positions. This raises the question how many of these explorations can be active at the same time. If there is a bound on this number depending on the given DFA M only (i.e., the bound is valid for all input strings w), we say that M has a bounded activity level. The main results in this paper are as follows. We define an easy-to-check property of DFA named prefix-cyclicity and show that precisely the non prefix-cyclic DFA have a bounded activity level. Moreover, the largest possible number ℓM of mutually overlapping explorations of a given non prefix-cyclic DFA M with t + 1 states, the so-called maximum activity level of M, is bounded from above by 2t - 1, and this bound is tight. We show furthermore that the maximum activity levels of equivalent DFA coincide so as to form an invariant of the underlying regular language, which leads us to a characterization of prefix-cyclicity in terms of the Nerode relation. We finally establish some complexity results. For instance, the problem of computing ℓM for a given non prefix-cyclic DFA M is shown to be PSPACE-complete. © 2014 Springer International Publishing.
CITATION STYLE
Konitzer, M., & Simon, H. U. (2014). DFA with a bounded activity level. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8370 LNCS, pp. 478–489). https://doi.org/10.1007/978-3-319-04921-2_39
Mendeley helps you to discover research relevant for your work.