A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

New proof for the undecidability of the circular PCP




TekijätVesa Halava, Tero Harju

KustantajaSPRINGER

Julkaisuvuosi2013

JournalActa Informatica

Tietokannassa oleva lehden nimiACTA INFORMATICA

Lehden akronyymiACTA INFORM

Numero sarjassa5-6

Vuosikerta50

Numero5-6

Aloitussivu331

Lopetussivu341

Sivujen määrä11

ISSN0001-5903

eISSN1432-0525

DOIhttps://doi.org/10.1007/s00236-013-0183-5

Verkko-osoitehttp://link.springer.com/journal/236/50/5/page/1


Tiivistelmä
We give simpler proof for the undecidability of the circular Post Correspondence Problem that was originally proved undecidable by Ruohonen (Acta Informatica 19:357-367, 1983). The key feature of our proof is the undecidability of the word problem of special semi-Thue systems where derivations are deterministic and reversible for words containing a single occurrence of a letter from a given set.



Last updated on 2024-26-11 at 12:24