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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 1004; S. 114621
Hauptverfasser:	Bianchini, Christian, Policriti, Alberto, Riccardi, Brian, Romanello, Riccardo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 12.07.2024
Schlagworte:	Automata Bisimulation Incremental Minimization Incremental Minimization Bisimulation Automata
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!