Abstract
We show that every regular language defines a unique nondeterministic finite automaton (NFA), which we call “átomaton”, whose states are the “atoms” of the language, that is, non-empty intersections of complemented or uncomplemented left quotients of the language. We describe methods of constructing the átomaton, and prove that it is isomorphic to the normal automaton of Sengoku, and to an automaton of Matz and Potthoff. We study “atomic” NFA’s in which the right language of every state is a union of atoms. We generalize Brzozowski’s double-reversal method for minimizing a deterministic finite automaton (DFA), showing that the result of applying the subset construction to an NFA is a minimal DFA if and only if the reverse of the NFA is atomic.
This work was supported by the Natural Sciences and Engineering Research Council of Canada under grant No. OGP0000871, by the Estonian Center of Excellence in Computer Science, EXCS, financed by the European Regional Development Fund, and by the Estonian Science Foundation grant 7520.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Dicky, A., Nivat, M.: A note about minimal non-deterministic automata. Bull. EATCS 47, 166–169 (1992)
Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events. In: Proceedings of the Symposium on Mathematical Theory of Automata. MRI Symposia Series, vol. 12, pp. 529–561. Polytechnic Press, Polytechnic Institute of Brooklyn, N.Y (1963)
Carrez, C.: On the minimalization of non-deterministic automaton. Technical report, Lille University, Lille, France (1970)
Conway, J.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)
Denis, F., Lemay, A., Terlutte, A.: Residual finite state automata. Fund. Inform. 51, 339–368 (2002)
Kameda, T., Weiner, P.: On the state minimization of nondeterministic automata. IEEE Trans. Comput. C-19(7), 617–627 (1970)
Lombardy, S., Sakarovitch, J.: The universal automaton. In: Flum, J., Grädel, E., Wilke, T. (eds.) Logic and Automata: History and Perspectives. Texts in Logic and Games, vol. 2, pp. 457–504. Amsterdam University Press, Amsterdam (2007)
Matz, O., Potthoff, A.: Computing small finite nondeterministic automata. In: Engberg, U.H., Larsen, K.G., Skou, A. (eds.) Proceedings of the Workshop on Tools and Algorithms for Construction and Analysis of Systems. BRICS Note Series, pp. 74–88. BRICS, Aarhus (1995)
Rabin, M., Scott, D.: Finite automata and their decision problems. IBM J. Res. and Dev. 3, 114–129 (1959)
Sengoku, H.: Minimization of nondeterministic finite automata. Master’s thesis, Kyoto University, Department of Information Science, Kyoto University, Kyoto, Japan (1992)
Tabakov, D., Vardi, M.: Experimental evaluation of classical automata constructions. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 396–411. Springer, Heidelberg (2005)
Watson, B.W.: Taxonomies and toolkits of regular language algorithms. PhD thesis, Faculty of Mathematics and Computing Science. Eindhoven University of Technology, Eindhoven, The Netherlands (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brzozowski, J., Tamm, H. (2011). Theory of Átomata. In: Mauri, G., Leporati, A. (eds) Developments in Language Theory. DLT 2011. Lecture Notes in Computer Science, vol 6795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22321-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-22321-1_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22320-4
Online ISBN: 978-3-642-22321-1
eBook Packages: Computer ScienceComputer Science (R0)