scientific article; zbMATH DE number 7204566

DOI10.4230/LIPIcs.ICALP.2017.114zbMath1442.68083MaRDI QIDQ5111446

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

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (9)

Computability by monadic second-order logic ⋮ Unnamed Item ⋮ One-way resynchronizability of word transducers ⋮ Linear-time limited automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Origin-equivalence of two-way word transducers is in PSPACE ⋮ On Synthesis of Resynchronizers for Transducers ⋮ Regular transducer expressions for regular transformations

This page was built for publication: