Nondeterministic Moore automata and Brzozowski’s minimization algorithm

Moore automata represent a model that has many applications. In this paper we define a notion of coherent nondeterministic Moore automaton (NMA) and show that such a model has the same computational power of the classical deterministic Moore automaton. We consider also the problem of constructing th...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 450; s. 81 - 91
Hlavní autoři:	Castiglione, G., Restivo, A., Sciortino, M.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 07.09.2012
Témata:	Algorithms Automata minimization Automation Brzozowski’s minimization algorithm Coherence Computer simulation Construction Equivalence Minimization Nondeterministic Moore automata Optimization Brzozowski’s minimization algorithm Automata minimization Nondeterministic Moore automata
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!