Confluence of one-rule Thue systems
From MaRDI portal
Publication:6114514
DOI10.1007/3-540-55124-7_11zbMath1522.03152OpenAlexW1515384682MaRDI QIDQ6114514
No author found.
Publication date: 14 August 2023
Published in: Word Equations and Related Topics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-55124-7_11
Related Items
On termination of confluent one-rule string-rewriting systems, More problems in rewriting, One-rule trace-rewriting systems and confluence, Termination and derivational complexity of confluent one-rule string-rewriting systems, On prefixal one-rule string rewrite systems, One-relation languages and code generators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Homogeneous Thue systems and the Church-Rosser property
- An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- Testing for the Church-Rosser property
- Time-space-optimal string matching
- A note on thue systems with a single defining relation
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Confluent and Other Types of Thue Systems
- Fast Pattern Matching in Strings
- A note on special thue systems with a single defining relation
- On confluence of one-rule trace-rewriting systems
