Journalartikel

More on Minimizing Finite Automata with Errors - Nondeterministic Machines


AutorenlisteHolzer, Markus; Jakobi, Sebastian

Jahr der Veröffentlichung2017

Seiten229-245

ZeitschriftInternational Journal of Foundations of Computer Science

Bandnummer28

Heftnummer3

ISSN0129-0541

eISSN1793-6373

DOI Linkhttps://doi.org/10.1142/S0129054117500150

VerlagWorld Scientific Publishing


Abstract
We continue our research on minimization problems and related problems for automata w.r.t. to different error profiles, now considering nondeterministic finite automata (NFAs) as inputs. Here the error profiles are almost-equivalence and E-equivalence. We show that the minimization problems and their underlying equivalence problems become PSPACE-complete in most cases. The obtained results nicely fit to the known ones on ordinary NFA minimization, and show a significant difference to the previously obtained results on deterministic finite state machines.



Zitierstile

Harvard-ZitierstilHolzer, M. and Jakobi, S. (2017) More on Minimizing Finite Automata with Errors - Nondeterministic Machines, International Journal of Foundations of Computer Science, 28(3), pp. 229-245. https://doi.org/10.1142/S0129054117500150

APA-ZitierstilHolzer, M., & Jakobi, S. (2017). More on Minimizing Finite Automata with Errors - Nondeterministic Machines. International Journal of Foundations of Computer Science. 28(3), 229-245. https://doi.org/10.1142/S0129054117500150



Schlagwörter


almost-equivalencecomputational complexityE-equivalenceEQUIVALENCEminimal finite automatanondeterministic finite automata


Nachhaltigkeitsbezüge


Zuletzt aktualisiert 2025-02-04 um 01:33