In this paper we provide a positive answer to a question left open by Alur and and Deshmukh in 2011 by showing that equivalence of finite-valued copyless streaming string transducers is decidable.
Equivalence of finite-valued streaming string transducers is decidable
Puppis G.
2019-01-01
Abstract
In this paper we provide a positive answer to a question left open by Alur and and Deshmukh in 2011 by showing that equivalence of finite-valued copyless streaming string transducers is decidable.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ICALP 2019 Editoriale.pdf
accesso aperto
Descrizione: ICALP 2019 versione editoriale
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
574.82 kB
Formato
Adobe PDF
|
574.82 kB | Adobe PDF | Visualizza/Apri |
ICALP 2019 Postprint.pdf
accesso aperto
Descrizione: ICALP 2019 versione post-print
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
632.87 kB
Formato
Adobe PDF
|
632.87 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.