Variations of checking stack automata: obtaining unexpected decidability properties

DOI10.1007/978-3-319-62809-7_17MaRDI QIDQ6830119zbMATH OpenFDO

Authors Oscar H. Ibarra, Ian McQuillan

Publication date 13 October 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitypushdown automatareversal-bounded counterschecking stack automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Variations of checking stack automata: obtaining unexpected decidability properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6830119)