A simulation result for the auxiliary pushdown automata
From MaRDI portal
Publication:1136497
DOI10.1016/0022-0000(79)90023-0zbMath0427.68051OpenAlexW2076889648MaRDI QIDQ1136497
Publication date: 1979
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(79)90023-0
Related Items
Cites Work