From Monadic Second-Order Definable String Transformations to Transducers
From MaRDI portal
Publication:5271083
DOI10.1109/LICS.2013.52zbMath1366.68133MaRDI QIDQ5271083
Ashutosh Trivedi, Antoine Durand-Gasselin, Rajeev Alur
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
monadic second-order logictree transducersstreaming string transducers\(\omega\)-regular transformations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Aperiodic String Transducers ⋮ Regular Transformations of Data Words Through Origin Information ⋮ Aperiodic String Transducers
This page was built for publication: From Monadic Second-Order Definable String Transformations to Transducers
