Two-Way Visibly Pushdown Automata and Transducers

DOI10.1145/2933575.2935315zbMath1394.68209arXiv1606.00234OpenAlexW3098000419MaRDI QIDQ4635877

Emmanuel Filiot, Jean-Marc Talbot, Luc Dartois, Pierre-Alain Reynier

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.00234

zbMATH Keywords

logicpushdown automatatransductions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (4)

Sweeping input-driven pushdown automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Copyful Streaming String Transducers

This page was built for publication: Two-Way Visibly Pushdown Automata and Transducers