A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Word problem for deterministic and reversible semi-Thue systems



Tekijät: Halava V., Harju T.

Kustantaja: Springer New York LLC

Julkaisuvuosi: 2014

Journal: Semigroup Forum

Tietokannassa oleva lehden nimi: Semigroup Forum

Vuosikerta: 88

Numero: 2

Aloitussivu: 468

Lopetussivu: 478

Sivujen määrä: 11

ISSN: 0037-1912

DOI: https://doi.org/10.1007/s00233-013-9550-3

Verkko-osoite: http://api.elsevier.com/content/abstract/scopus_id:84898014386


Tiivistelmä
We prove that the word problem for semi-Thue systems is undecidable for systems where the derivation is always deterministic and reversible for words containing a single occurrence of a letter from a given set. © 2013 Springer Science+Business Media New York.



Last updated on 2024-26-11 at 20:44