scientific article; zbMATH DE number 1824154

MaRDI QIDQ3153443zbMATH OpenFDO

Authors Xiying Zhao

Publication date 18 December 2002

zbMATH Keywords

finite commutative Thue systemsfinite order elementslinear time algorithmsword problem

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Free semigroups, generators and relations, word problems (20M05) Grammars and rewriting systems (68Q42) Combinatorics on words (68R15)

Recommendations

• Elements of finite order for finite weight-reducing and confluent Thue systems
• Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• On finite commutative Thue systems
• Commutativity in groups presented by finite Church-Rosser Thue systems

Cited in

(4)

• Elements of finite order for finite weight-reducing and confluent Thue systems
• On finite commutative Thue systems
• Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems
• 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 Q3153443)