dc.contributor.author | Brzozowski, Janusz | |
dc.contributor.author | Tamm, Hellis | |
dc.date.accessioned | 2017-09-29 14:03:07 (GMT) | |
dc.date.available | 2017-09-29 14:03:07 (GMT) | |
dc.date.issued | 2014-06-19 | |
dc.identifier.uri | http://dx.doi.org/10.1016/j.tcs.2014.04.016 | |
dc.identifier.uri | http://hdl.handle.net/10012/12510 | |
dc.description | The final publication is available at Elsevier via http://dx.doi.org/10.1016/j.tcs.2014.04.016 © 2017. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ | en |
dc.description.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. | en |
dc.description.sponsorship | Natural Sciences and Engineering Research Council of Canada [OGP0000871] | en |
dc.description.sponsorship | ERDF | en |
dc.description.sponsorship | Estonian Science Foundation [7520] | en |
dc.description.sponsorship | Estonian Ministry of Education and Research [0140007s12] | en |
dc.language.iso | en | en |
dc.publisher | Elsevier | en |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Atom | en |
dc.subject | Atomic NFA | en |
dc.subject | Atomaton | en |
dc.subject | Left quotient | en |
dc.subject | Minimization by double reversal | en |
dc.subject | NFA | en |
dc.subject | Regular language | en |
dc.title | Theory Of Atomata | en |
dc.type | Article | en |
dcterms.bibliographicCitation | Brzozowski, J., & Tamm, H. (2014). Theory of átomata. Theoretical Computer Science, 539, 13–27. https://doi.org/10.1016/j.tcs.2014.04.016 | en |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.typeOfResource | Text | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |