The paper presents an alternative proof of a theorem of Jantzen to the effect that the monoid J presented by the one rule (abbaab,1) is Church- Rosser. The author's introduction notes Book showed that if S is a finite monadic Church-Rosser Thue system, then every congruence class is a deterministic context-free language... Jantzen showed that the condition Church-Rosser could not be left out, even for one-rule special Thue systems, for he showed that his example has the property that no congruence class is a context free language and that there is no equivalent Church-Rosser Thue system on \(\{\) a,\(b\}\). In the current paper, an alternate presentation of J which solves the word problem is given. ... we construct an equivalent infinite Thue system which is locally confluent but not noetherian... the equivalent system can be used to generate an algorithm which produced a unique normal form for each word; furthermore, two words are congruent if and only if they have the same normal form... [the] result is established by transforming the original monoid which has two generators, into a four generator monoid for which the corresponding Thue system can be extended to an infinite locally confluent and noetherian system.
- A note on representations of a certain monoid
- A note on special thue systems with a single defining relation
- Confluent and Other Types of Thue Systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- scientific article; zbMATH DE number 3224578 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 3323852 (Why is no real title available?)
- On a special monoid with a single defining relation
- A note on a special one-rule semi-Thue system
- Thue systems as rewriting systems
- The word problem for one-relation monoids: a survey
- scientific article; zbMATH DE number 5885268 (Why is no real title available?)
- scientific article; zbMATH DE number 5168411 (Why is no real title available?)
- scientific article; zbMATH DE number 4054135 (Why is no real title available?)
- Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group
This page was built for publication: Remarks on an example of Jantzen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q793015)
