An improved bound for detecting looping configurations in deterministic PDA's
From MaRDI portal
Publication:1214756
DOI10.1016/0020-0190(74)90042-8zbMath0298.68040OpenAlexW2040857571MaRDI QIDQ1214756
Publication date: 1974
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(74)90042-8
Related Items
Cites Work