✦ LIBER ✦

On the equivalence problem for regular Thue systems

✍ Scribed by Paliath Narendran

Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 531 KB
Volume: 44
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(86)90121-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The equivalence problem for LL- and LR-r

The equivalence problem for LL- and LR-regular grammars

✍ Anton Nijholt 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 733 KB

A finite thue system with decidable word

A finite thue system with decidable word problem and without equivalent finite canonical system

✍ Deepak Kapur; Paliath Narendran 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 461 KB

Some undecidable termination problems fo

Some undecidable termination problems for semi-Thue systems

✍ Géraud Sénizergues 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 822 KB

Almost all one-rule thue systems have de

Almost all one-rule thue systems have decidable word problems

✍ Ronald V Book; Craig C Squier 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 167 KB

The decidability of the word problem for one-rule Thue systems is an open cluestion. In the case of one-rule special Thue systems, i.e., those of the form {(w, 1)} where 1 is the identity, it is known [1] that the word problem is decidable. Here we show that 'almost all' one-rule Thue systems have

The undecidability of self-embedding for

The undecidability of self-embedding for finite semi-Thue and Thue systems

✍ Friedrich Otto 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 454 KB

On the descriptive power of special Thue

On the descriptive power of special Thue systems

✍ Louxin Zhang; Lian Li; Jinzhao Wu 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 380 KB