THUE SYSTEMS AND THE CHURCH-ROSSER PROPERTY: REPLACEMENT SYSTEMS, SPECIFICATION OF FORMAL LANGUAGES, AND PRESENTATIONS OF MONOIDS††Preparation of this paper was supported in part by the National Science Foundation under grants MCS80-11979 and MCS81-16327.-Reference-Cited by-同舟云学术

THUE SYSTEMS AND THE CHURCH-ROSSER PROPERTY: REPLACEMENT SYSTEMS, SPECIFICATION OF FORMAL LANGUAGES, AND PRESENTATIONS OF MONOIDS††Preparation of this paper was supported in part by the National Science Foundation under grants MCS80-11979 and MCS81-16327.

Published:1983 Issue: Volume: Page:1-38
ISSN:
Container-title:Combinatorics on Words
language:
Short-container-title:

Author:

Book Ronald V.

Publisher

Elsevier

Reference47 articles.

1. Defining Relations and Algorithmic Problems for Groups and Semigroups;Adjan;Proc. Steklov Inst. Math.,1966

2. Avenhaus, J., Book, R., and Squier, C., On Expressing Communtativity by Church-Rosser Presentations: A Note on Commutative Monoids, R.A.I.R.O. Informatique Théorique, to appear.

3. Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität;Avenhaus;Arch. math. Logic,1978

4. Berstel, J., Congruences plus que parfaites et langages algebriques, Séminaire d'Informatique Théorique, Institute de Programmation, 1976–77, 123–147.

5. Dérivations et réductions dans les grammaires algébriques;Boasson,1980

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bi-infinitary codes;RAIRO - Theoretical Informatics and Applications;1990

2. Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors;Bulletin of Mathematical Biology;1987-11

3. Monoids with disjunctive identity and their codes;Acta Mathematica Hungarica;1986-09

4. On reduced thue systems;Mathematical Systems Theory;1985-12

5. Thue systems and the Church-Rosser property;Mathematical Foundations of Computer Science 1984