We construct regular languages Ln, n ≥ 1, such that any NFA recognizing Ln needs Ω(nsc(Ln) · √nsc(Ln)) transitions where nsc(Ln) is the nondeterministic state complexity of Ln. Also, we study trade-offs between the number of states and the number of transitions of an NFA. We show that adding one additional state can result in significant reductions in the number of transitions and that there exist regular languages Ln, n ≥ 2, where the transition minimal NFA for Ln has more than c · nsc(Ln) states, for some constant c > 1. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Domaratzki, M., & Salomaa, K. (2006). Lower bounds for the transition complexity of NFAs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4162 LNCS, pp. 315–326). Springer Verlag. https://doi.org/10.1007/11821069_28
Mendeley helps you to discover research relevant for your work.