Abstract
We obtain a sharp upper bound for the nondeterministic state complexity of the application of a finite transducer to a regular language.
Similar content being viewed by others
References
J.-C. Birget, “Intersection and Union of Regular Languages and State Complexity,” Inform. Proc. Lett. 43(4), 185–190 (1992).
H. Gruber and M. Holzer, “Finding Lower Bounds for Nondeterministic State Complexity is Hard,” Lect. Notes Comput. Sci. 4036, 363–374 (2006).
M. Kutrib and M. Holzer, “Unary Language Operations and Their Nondeterministic State Complexity,” Lect. Notes Comput. Sci. 2450, 162–172 (2003).
K. Salomaa, “Descriptional Complexity of Nondeterministic Finite Automata,” Lect. Notes Comput. Sci. 4588, 31–35 (2007).
M. Kutrib and M. Holzer, “State Complexity of Basic Operations on Nondeterministic Finite Automata,” Lect. Notes Comput. Sci. 2608, 148–157 (2003).
S. Yu, “Regular Languages,” in Handbook of Formal Languages, Ed. by G. Rozenberg and A. Salomaa (N.-Y., Springer, 1997), Vol. 1, pp. 41–110.
J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages and Computation (Addison-Wesley, MA, 2001).
V. B. Kudryavtsev, S. V. Aleshin, and A. S. Podkolzin, Introduction to Automata Theory (Nauka, Moscow, 1985) [in Russian].
J. Sakarovitch, Éléments de Théorie des Automates (Vuibert Informatique, Paris, 2003).
C. Calude, K. Salomaa, and S. Yu, “Metric Lexical Analysis,” Lect.Notes Comput. Sci. 2214, 48–59 (2001).
J. Karhumäki, “Automata and Formal Languages,” http://www.math.utu.fi/en/home/karhumak/Automata2007.pdf
G. Povarov, “Descriptive Complexity of the Hamming Neighborhood of a Regular Language,” Proc. Conf. “Language and Automata Theory and Applications” (Tarragona, Universitat Rovira i Virgili, 2007), pp. 509–520.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © G.A. Povarov, 2010, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2010, No. 6, pp. 23–31.
About this article
Cite this article
Povarov, G.A. Finite transducers and nondeterministic state complexity of regular languages. Russ Math. 54, 19–25 (2010). https://doi.org/10.3103/S1066369X10060034
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1066369X10060034