scientific article; zbMATH DE number 1824154

zbMATH Open1007.20056MaRDI QIDQ3153443FDOQ3153443

Authors: Xiying Zhao 

Publication date: 18 December 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

word problemlinear time algorithmsfinite commutative Thue systemsfinite order elements

Mathematics Subject Classification ID

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

Cited In (4)

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