Pages that link to "Item:Q798317"

The following pages link to Homogeneous Thue systems and the Church-Rosser property (Q798317):

Displaying 16 items.

• Some undecidable termination problems for semi-Thue systems (Q673625) (← links)
• Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general (Q673984) (← links)
• The undecidability of the preperfectness of Thue systems (Q797574) (← links)
• Almost all one-rule Thue systems have decidable word problems (Q1057265) (← links)
• The Church-Rosser property and special Thue systems (Q1071759) (← links)
• On the regular equivalence problem for regular Thue systems (Q1087011) (← links)
• Thue systems as rewriting systems (Q1099642) (← links)
• A note on regular classes in special Thue systems (Q1116708) (← links)
• On the descriptive power of special Thue systems (Q1126309) (← links)
• Contributions of Ronald V. Book to the theory of string-rewriting systems (Q1274982) (← links)
• Undecidable questions related to Church-Rosser Thue systems (Q1839249) (← links)
• Cancellation rules and extended word problems (Q2266586) (← links)
• THE INCLUSION PROBLEM OF CONTEXT-FREE LANGUAGES: SOME TRACTABLE CASES (Q3086239) (← links)
• The Inclusion Problem of Context-Free Languages: Some Tractable Cases (Q3637217) (← links)
• The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete (Q3720578) (← links)
• A note on thue systems with a single defining relation (Q3735697) (← links)