Publication:4938634
From MaRDI portal
zbMath0946.68083MaRDI QIDQ4938634
Joost Engelfriet, Hendrik Jan Hoogeboom
Publication date: 17 October 2000
monadic second-order logic; finite automata; graph transductions; two-way finite state transducers; string transductions
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions