Regular Transformations of Infinite Strings
From MaRDI portal
Publication:2986782
DOI10.1109/LICS.2012.18zbMath1360.68538OpenAlexW2057968642MaRDI QIDQ2986782
Ashutosh Trivedi, Emmanuel Filiot, Rajeev Alur
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2012.18
monadic second-order logictwo-way transducersstreaming string transducers\(\omega\)-regular transformations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Regular model checking with regular relations, Synthesizing Computable Functions from Rational Specifications Over Infinite Words, Aperiodic String Transducers, On the Complexity of Infinite Advice Strings, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Streamable regular transductions, Regular Transformations of Data Words Through Origin Information, Aperiodic String Transducers, Register Transducers Are Marble Transducers, Regular transducer expressions for regular transformations, Copyful Streaming String Transducers, From Two-Way Transducers to Regular Function Expressions, Pattern eliminating transformations
