×

zbMATH — the first resource for mathematics

Confluent and other types of Thue systems. (English) Zbl 0478.68032

MSC:
68Q65 Abstract data types; algebraic specification
03D03 Thue and Post systems, etc.
68Q45 Formal languages and automata
03D40 Word problems, etc. in computability and recursion theory
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI