scientific article; zbMATH DE number 3948242

MaRDI QIDQ3718694zbMATH OpenFDO

Authors Friedrich Otto

Publication date 1985

zbMATH Keywords

decision problemsmonadic systemmonoid presentation

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Word problems, etc. in computability and recursion theory (03D40) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• On two problems related to cancellativity
• Church–Rosser Thue Systems that Present Free Monoids
• scientific article; zbMATH DE number 4036066
• scientific article; zbMATH DE number 4210423
• scientific article; zbMATH DE number 979948

Cited in

(34)

• Some undecidability results for non-monadic Church-Rosser Thue systems
• A note on a special one-rule semi-Thue system
• On two problems related to cancellativity
• The Church-Rosser property and special Thue systems
• On deciding whether a monoid is a free monoid or is a group
• Complexity of certain decision problems about congruential languages
• On the regular equivalence problem for regular Thue systems
• Special monoids and special Thue systems
• An efficient algorithm to decide whether a monoid presented by a regular Church-Rosser Thue system is a group
• Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems
• Cancellativity in finitely presented semigroups
• Uniform decision problems for certain restricted classes of finite monoid presentations -- a survey on recent undecidability results
• It is decidable whether a monadic thue system is canonical over a regular set
• scientific article; zbMATH DE number 3861446 (Why is no real title available?)
• scientific article; zbMATH DE number 4210423 (Why is no real title available?)
• scientific article; zbMATH DE number 3896915 (Why is no real title available?)
• scientific article; zbMATH DE number 3898258 (Why is no real title available?)
• Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems
• scientific article; zbMATH DE number 3941518 (Why is no real title available?)
• The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
• On reduced thue systems
• Church–Rosser Thue Systems that Present Free Monoids
• Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
• scientific article; zbMATH DE number 3983496 (Why is no real title available?)
• scientific article; zbMATH DE number 4036066 (Why is no real title available?)
• Church-Rosser property and decidability of monadic theories of unary algebras
• scientific article; zbMATH DE number 4051590 (Why is no real title available?)
• Commutativity in groups presented by finite Church-Rosser Thue systems
• scientific article; zbMATH DE number 4109028 (Why is no real title available?)
• scientific article; zbMATH DE number 979948 (Why is no real title available?)
• Conditional semi-Thue systems for presenting monoids
• scientific article; zbMATH DE number 3895046 (Why is no real title available?)
• Remarks on an example of Jantzen
• Conjugacy in monoids with a special Church-Rosser presentation is decidable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3718694)