Remarks on an example of Jantzen

DOI10.1016/0304-3975(84)90003-3zbMath0538.03034OpenAlexW2073904319WikidataQ127957424 ScholiaQ127957424MaRDI QIDQ793015

D. H. Potts

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90003-3

zbMATH Keywords

monoidChurch-Rosser Thue system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups in automata theory, linguistics, etc. (20M35) Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)

Related Items

Thue systems as rewriting systems ⋮ The word problem for one-relation monoids: a survey ⋮ Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group ⋮ A note on a special one-rule semi-Thue system

Cites Work

• A note on representations of a certain monoid
• On a special monoid with a single defining relation
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluent and Other Types of Thue Systems
• A note on special thue systems with a single defining relation
• Unnamed Item
• Unnamed Item
• Unnamed Item