Which classes of origin graphs are generated by transducers

DOI10.4230/LIPICS.ICALP.2017.114zbMATH Open1442.68083MaRDI QIDQ5111446FDOQ5111446

Bruno Guillon, Laure Daviaud, Mikołaj Bojańczyk, Vincent Penelle

Publication date: 27 May 2020

Recommendations

• Transducers with Origin Information
• Decision problems of tree transducers with origin
• Decision problems of tree transducers with origin
• scientific article; zbMATH DE number 3952037
• Regular Transformations of Data Words Through Origin Information

zbMATH Keywords

streaming string transducersorigin semanticsMSO-definabilitystring-to-string transductions

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Linear-time limited automata
• One-way resynchronizability of word transducers
• Resynchronized uniformization and definability problems for rational relations
• Computability by monadic second-order logic
• Regular transducer expressions for regular transformations
• On Synthesis of Resynchronizers for Transducers
• Origin-equivalence of two-way word transducers is in PSPACE
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Which classes of origin graphs are generated by transducers

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