The degree of irreversibility in deterministic finite automata

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Holger Bock Axelsen
  • Markus Holzer
  • Martin Kutrib

Recently, Holzer et al. gave a method to decide whether the language accepted by a given deterministic finite automaton (DFA) can also be accepted by some reversible deterministic finite automaton (REV-DFA), and eventually proved NL-completeness. Here, we show that the corresponding problem for nondeterministic finite state automata (NFA) is PSPACE-complete. The recent DFA method essentially works by minimizing the DFA and inspecting it for a forbidden pattern. We here study the degree of irreversibility for a regular language, the minimal number of such forbidden patterns necessary in any DFA accepting the language, and show that the degree induces a strict infinite hierarchy of languages. We examine how the degree of irreversibility behaves under the usual language operations union, intersection, complement, concatenation, and Kleene star, showing tight bounds (some asymptotically) on the degree.

Original languageEnglish
Title of host publicationImplementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
EditorsYo-Sub Han, Kai Salomaa
Number of pages12
PublisherSpringer
Publication date2016
Pages15-26
ISBN (Print)978-3-319-40945-0
ISBN (Electronic)978-3-319-40946-7
DOIs
Publication statusPublished - 2016
Event21st International Conference on Implementation and Application of Automata - Seoul, Korea, Republic of
Duration: 19 Jul 201622 Jul 2016
Conference number: 21

Conference

Conference21st International Conference on Implementation and Application of Automata
Nummer21
LandKorea, Republic of
BySeoul
Periode19/07/201622/07/2016
SeriesLecture notes in computer science
Volume9705
ISSN0302-9743

ID: 172140029