Deciding path size of nondeterministic (and input-driven) pushdown automata
From MaRDI portal
Publication:2098178
DOI10.1016/j.tcs.2022.10.023MaRDI QIDQ2098178
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Publication date: 17 November 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.10.023
68Q45: Formal languages and automata