A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Undecidability of the equivalence of finite substitutions on regular language



Tekijät: Halava V, Harju T

Kustantaja: GAUTHIER-VILLARS/EDITIONS ELSEVIER

Julkaisuvuosi: 1999

Lehti:: RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications

Tietokannassa oleva lehden nimi: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS

Lehden akronyymi: RAIRO-INF THEOR APPL

Vuosikerta: 33

Numero: 2

Aloitussivu: 117

Lopetussivu: 124

Sivujen määrä: 8

ISSN: 0988-3754

DOI: https://doi.org/10.1051/ita:1999109


Tiivistelmä
A simplified proof is given for the following result due to Lisovik: it is undecidable for two given epsilon-free finite substitutions, whether they are equivalent on the regular language b{0, 1}*c.


Research Areas



Last updated on 2025-13-10 at 13:43