Search results
From MaRDI portal
- 1985-01-01 Paper Infinite regular Thue systems 1983-01-01 Paper Undecidable questions related to Church-Rosser Thue systems 1983-01-01 Paper Testing for the...10 bytes (18 words) - 22:04, 12 December 2023
- Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems 2010-02-05 Paper...10 bytes (16 words) - 03:18, 7 October 2023
- property of Thue systems 1985-01-01 Paper The Church-Rosser property and special Thue systems 1985-01-01 Paper The undecidability of the preperfectness of Thue...10 bytes (17 words) - 09:33, 9 December 2023
- monadic thue system is canonical over a regular set 1990-01-01 Paper Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems 1989-01-01...10 bytes (16 words) - 11:53, 8 December 2023
- finite complete rewriting systems 1986-01-01 Paper The undecidability of self-embedding for finite semi-Thue and Thue systems 1986-01-01 Paper Elements...10 bytes (16 words) - 15:00, 10 December 2023
- Keywords algorithm; word problem; free partially commutative groups; preperfect Thue system Mathematics Subject Classification ID 68Q25: Analysis of algorithms...15 bytes (79 words) - 03:12, 31 January 2024
- Keywords undecidability; decision procedure; almost- confluent Thue systems; preperfect Thue systems Mathematics Subject Classification ID 20M05: Free semigroups...15 bytes (83 words) - 01:55, 31 January 2024
- word problems; Church-Rosser system; deterministic context-free language; Thue congruence; confluent systems; preperfect system Mathematics Subject Classification...15 bytes (122 words) - 23:26, 5 February 2024
- decidability; Thue system; confluence modulo partial commutativity; preperfectness Mathematics Subject Classification ID 03D03: Thue and Post systems, etc....15 bytes (46 words) - 03:02, 31 January 2024
- finite Thue systems; almost confluent; Church-Rosser congruence; preperfect Mathematics Subject Classification ID 03D03: Thue and Post systems, etc. Related...15 bytes (75 words) - 11:34, 1 February 2024
- monoids; Thue systems; Church-Rosser systems; almost-confluent systems; emptiness problem for deterministic linear-bounded automata; preperfect systems; string...15 bytes (112 words) - 12:05, 30 January 2024