Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Tinput-driven pushdown, counter, and stack automata. (English) Zbl 1378.68107 Fundam. Inform. 155, No. 1-2, 59-88 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Kutrib} et al., Fundam. Inform. 155, No. 1--2, 59--88 (2017; Zbl 1378.68107) Full Text: DOI
Kutrib, Martin; Wendlandt, Matthias Reversible limited automata. (English) Zbl 1388.68174 Fundam. Inform. 155, No. 1-2, 31-58 (2017). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Kutrib} and \textit{M. Wendlandt}, Fundam. Inform. 155, No. 1--2, 31--58 (2017; Zbl 1388.68174) Full Text: DOI