Incremental NFA minimization

We tackle the (classic) problem of minimizing (non)deterministic finite automata. The algorithm we put forward has the peculiarity of being incremental, i.e., the minimization proceeds by successive iterations, each producing a partially minimized automaton language-equivalent to the input one. Our...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 1004; s. 114621
Hlavní autoři:	Bianchini, Christian, Policriti, Alberto, Riccardi, Brian, Romanello, Riccardo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 12.07.2024
Témata:	Automata Bisimulation Incremental Minimization Incremental Minimization Bisimulation 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!