scientific article; zbMATH DE number 3880671

MaRDI QIDQ3346296zbMATH OpenFDO

Authors Matthias Jantzen

Publication date 1984

zbMATH Keywords

Church-Rosser propertyconfluent semi-Thue systemssequential string rewritingstring transformation systemssurvey

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3898258
• Homogeneous Thue systems and the Church-Rosser property
• Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
• Thue systems as rewriting systems
• scientific article; zbMATH DE number 3850463

Cited in

(12)

• A note on a special one-rule semi-Thue system
• The Church-Rosser property and special Thue systems
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• Investigations on Hotz groups for arbitrary grammars
• Thue systems as rewriting systems
• The Bianchi models: then and now
• The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
• Church-Rosser property and decidability of monadic theories of unary algebras
• Commutativity in groups presented by finite Church-Rosser Thue systems
• Groups and NTS languages
• Remarks on an example of Jantzen
• A new lower bound construction for commutative Thue systems with applications

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 Q3346296)