The following pages link to Monadic Thue systems (Q1165842):
Displaying 50 items.
- Decidable sentences of Church-Rosser congruences (Q593775) (← links)
- Deleting string rewriting systems preserve regularity (Q703575) (← links)
- Bottom-up rewriting for words and terms (Q741256) (← links)
- On regularity of context-free languages (Q759489) (← links)
- Homomorphic images of sentential form languages defined by semi-Thue systems (Q795513) (← links)
- Conjugacy in monoids with a special Church-Rosser presentation is decidable (Q801163) (← links)
- On the rational subset problem for groups. (Q875109) (← links)
- Some decision problems about controlled rewriting systems (Q910246) (← links)
- About the descriptive power of certain classes of finite string-rewriting systems (Q910850) (← links)
- A characterisation of deterministic context-free languages by means of right-congruences (Q913524) (← links)
- Rational subsets of polycyclic monoids and valence automata (Q1041050) (← links)
- Some undecidability results for non-monadic Church-Rosser Thue systems (Q1057264) (← links)
- Complexity results on the conjugacy problem for monoids (Q1073015) (← links)
- Reductions in tree replacement systems (Q1082092) (← links)
- On the regular equivalence problem for regular Thue systems (Q1087011) (← links)
- Thue systems as rewriting systems (Q1099642) (← links)
- On deciding the confluence of a finite string-rewriting system on a given congruence class (Q1102946) (← links)
- A closure property of regular languages (Q1113686) (← links)
- A note on regular classes in special Thue systems (Q1116708) (← links)
- Deterministic tree pushdown automata and monadic tree rewriting systems (Q1118421) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- An efficient algorithm to decide whether a monoid presented by a regular Church-Rosser Thue system is a group (Q1123272) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
- The undecidability of a word problem: On a conjecture of Strong, Maggiolo-Schettini and Rosen (Q1150608) (← links)
- NTS grammars and Church-Rosser systems (Q1159985) (← links)
- Testing for the Church-Rosser property (Q1162144) (← links)
- When is a monoid a group? The Church-Rosser case is tractable (Q1166924) (← links)
- On characterizations of recursively enumerable languages (Q1262786) (← links)
- Some undecidability results concerning the property of preserving regularity (Q1274984) (← links)
- Cancellation in context-free languages: enrichment by reduction (Q1325840) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Computing presentations for subgroups of polycyclic groups and of context-free groups (Q1328439) (← links)
- On language equations with invertible operations (Q1334659) (← links)
- McNaughton families of languages. (Q1401181) (← links)
- Match-bounded string rewriting systems (Q1762560) (← links)
- Infinite regular Thue systems (Q1839248) (← links)
- Undecidable questions related to Church-Rosser Thue systems (Q1839249) (← links)
- The word problem for one-relation monoids: a survey (Q1982573) (← links)
- On the computing powers of \(\mathcal{L}\)-reductions of insertion languages (Q1998879) (← links)
- Non-finitely generated maximal subgroups of context-free monoids (Q2099288) (← links)
- On the word problem for special monoids (Q2163877) (← links)
- \(\mathcal{L}\)-reduction computation revisited (Q2170281) (← links)
- Cancellation rules and extended word problems (Q2266586) (← links)
- On the word problem for free products of semigroups and monoids (Q2693366) (← links)
- RATIONAL SUBSETS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCTS (Q3502750) (← links)
- Polycyclic and Bicyclic Valence Automata (Q3540137) (← links)
- Automatic Termination (Q3636815) (← links)
- Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems (Q3708211) (← links)
- Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems (Q3741791) (← links)
- Commutativity in groups presented by finite Church-Rosser Thue systems (Q3794395) (← links)
