
TL;DR
This paper introduces the concept of 'atomaton', a unique NFA constructed from the atoms of a regular language, and explores its properties, construction methods, and implications for automaton minimization.
Contribution
It defines the atomaton, proves its isomorphism to the reverse of the minimal DFA, and generalizes minimization techniques, correcting previous misconceptions.
Findings
The atomaton is isomorphic to the reverse of the minimal DFA.
Applying subset construction to an atomic NFA yields a minimal DFA.
Sengoku's claim about his NFA minimization method is false.
Abstract
We show that every regular language defines a unique nondeterministic finite automaton (NFA), which we call "\'atomaton", 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 \'atomaton, and prove that it is isomorphic to the reverse automaton of the minimal deterministic finite automaton (DFA) of the reverse language. We study "atomic" NFAs 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. We prove that Sengoku's claim that his method always finds a minimal NFA is false.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Advanced Algebra and Logic · DNA and Biological Computing
