State complexity of operations on input-driven pushdown automata
From MaRDI portal
Publication:2396831
DOI10.1016/j.jcss.2017.02.001zbMath1370.68186MaRDI QIDQ2396831
Kai Salomaa, Alexander Okhotin
Publication date: 26 May 2017
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2017.02.001
state complexity; pushdown automata; nested word automata; visibly pushdown automata; input-driven automata
68Q45: Formal languages and automata
Uses Software