The Church-Rosser property and special Thue systems
From MaRDI portal
Publication:1071759
DOI10.1016/0304-3975(85)90134-3zbMath0586.03028OpenAlexW2053388467MaRDI QIDQ1071759
Mukkai S. Krishnamoorthy, Deepak Kapur, Robert McNaughton, Paliath Narendran
Publication date: 1985
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(85)90134-3
Analysis of algorithms and problem complexity (68Q25) Free semigroups, generators and relations, word problems (20M05) Abstract data types; algebraic specification (68Q65) Semigroups in automata theory, linguistics, etc. (20M35) Thue and Post systems, etc. (03D03)
Related Items
Complexity of certain decision problems about congruential languages, On the regular equivalence problem for regular Thue systems, The Church-Rosser property and special Thue systems, Complexity results on the conjugacy problem for monoids, A finite Thue system with decidable word problem and without equivalent finite canonical system
Cites Work