One-counter pushdown-storage automata as transducers of sequences

DOI10.3103/S0027132218040083zbMath1402.68118MaRDI QIDQ1626654

I. E. Ivanov

Publication date: 21 November 2018

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• ALGOL 60

Cites Work

• Cycle indices of an automaton
• On completeness of the binary boundedly determined functions with respect to superposition
• Deterministic context free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item