Pages that link to "Item:Q5537615"
From MaRDI portal
The following pages link to A regularity test for pushdown machines (Q5537615):
Displayed 27 items.
- New families of non real time dpda's and their decidability results (Q799385) (← links)
- On the separability of sparse context-free languages and of bounded rational relations (Q995585) (← links)
- Some results on subclass containment problems for special classes of dpda's related to nonsingular machines (Q1060563) (← links)
- On solving star equations (Q1085619) (← links)
- A hierarchy of deterministic languages (Q1136238) (← links)
- A representation of trees by languages. II (Q1137390) (← links)
- A graph-based regularity test for deterministic context-free languages (Q1177178) (← links)
- A lower bound for the nondeterministic space complexity of context-free recognition (Q1198017) (← links)
- On LR(k) grammars and languages (Q1239009) (← links)
- Economy of description by parsers, DPDA's, and PDA's (Q1239011) (← links)
- A representation of trees by languages. I (Q1246271) (← links)
- \(\omega\)-computations on deterministic pushdown machines (Q1247962) (← links)
- Lower bounds on space complexity for contextfree recognition (Q1251077) (← links)
- On equivalence and subclass containment problems for deterministic context-free languages (Q1251906) (← links)
- Theory of formal grammars (Q1846334) (← links)
- LR-regular grammars - an extension of LR(k) grammars (Q2558004) (← links)
- On reducing the number of stack symbols in a PDA (Q3141998) (← links)
- Decision problems among the main subfamilies of rational relations (Q3431438) (← links)
- Deterministic Pushdown Automata and Unary Languages (Q3602818) (← links)
- (Q3873564) (← links)
- Equivalent transformations of metalinear LA(1) grammars and unary recursive schemes (Q3888557) (← links)
- Sur une propriété d'itération des langages algébriques déterministes (Q3925891) (← links)
- (Q3956423) (← links)
- On a subclass of context-free groups (Q3978768) (← links)
- Simple context-free languages and free monadic recursion schemes (Q4139703) (← links)
- On jump-deterministic pushdown automata (Q4141220) (← links)
- THE PHENOMENON OF NON-RECURSIVE TRADE-OFFS (Q5704376) (← links)