Regular transformations of infinite strings

DOI10.1109/LICS.2012.18MaRDI QIDQ2986782zbMATH OpenOpenAlexFDO

Authors Emmanuel Filiot, Ashutosh Trivedi, 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

zbMATH Keywords

\(\omega\)-regular transformationsmonadic second-order logicstreaming string transducerstwo-way transducers

Mathematics Subject Classification ID

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

Recommendations

• FO-definable transformations of infinite strings
• From monadic second-order definable string transformations to transducers
• MSO definable string transductions and two-way finite-state transducers
• First-order definable string transformations

Cited in

(23)

• Pattern eliminating transformations
• Regular model checking with regular relations
• Streamable regular transductions
• Regular Transformations of Data Words Through Origin Information
• Aperiodic string transducers
• MSO definable string transductions and two-way finite-state transducers
• FO-definable transformations of infinite strings
• Aperiodic string transducers
• Copyful streaming string transducers
• On the complexity of infinite advice strings
• Register Transducers Are Marble Transducers
• scientific article; zbMATH DE number 7559499 (Why is no real title available?)
• The many facets of string transducers (invited talk)
• Determinisation of finitely-ambiguous copyless cost register automata
• Synthesis of computable regular functions of infinite words
• From monadic second-order definable string transformations to transducers
• From two-way transducers to regular function expressions
• String attractors and infinite words
• Synthesizing Computable Functions from Rational Specifications Over Infinite Words
• Reversible transducers over infinite words
• Finite-valued streaming string transducers
• Finite-valued streaming string transducers
• Prophecies all the way: game-based model-checking for HyperQPTL beyond ^*^*

This page was built for publication: Regular transformations of infinite strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986782)