zbMath0567.68049MaRDI QIDQ3683552
Martin Plátek
Publication date: 1984
zbMATH Keywords
linear bounded automata; language recognition; deterministic pushdown transducers
Mathematics Subject Classification ID
68Q45: Formal languages and automata