Minimization of visibly pushdown automata is NP-complete
Abstract
We show that the minimization of visibly pushdown automata is NP-complete. This result is obtained by introducing immersions, that recognize multiple languages (over a usual, non-visible alphabet) using a common deterministic transition graph, such that each language is associated with an initial state and a set of final states. We show that minimizing immersions is NP-complete, and reduce this problem to the minimization of visibly pushdown automata.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2019
- DOI:
- 10.48550/arXiv.1907.09563
- arXiv:
- arXiv:1907.09563
- Bibcode:
- 2019arXiv190709563G
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- Logical Methods in Computer Science, Volume 16, Issue 1 (February 13, 2020) lmcs:5640