The following pages link to (Q3880295):
Displaying 7 items.
- Some decision problems about controlled rewriting systems (Q910246) (← links)
- A characterisation of deterministic context-free languages by means of right-congruences (Q913524) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
- Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata (Q2391861) (← links)
- On rationally controlled one-rule insertion systems (Q5044416) (← links)
- A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q5055831) (← links)