Pages that link to "Item:Q1846738"
From MaRDI portal
The following pages link to Simple program schemes and formal languages (Q1846738):
Displaying 14 items.
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Probabilistic Ianov's schemes (Q1093361) (← links)
- DPDA's in 'Atomic normal form' and applications to equivalence problems (Q1158965) (← links)
- An execution mechanism for nondeterministic, state-oriented programs based on a chart parser (Q1209991) (← links)
- A direct algorithm for checking equivalence of LL(k) grammars (Q1238431) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- Extended linear macro grammars, iteration grammars, and register programs (Q1247747) (← links)
- On a class of recursive procedures and equivalent iterative ones (Q1255777) (← links)
- Context-free series on trees (Q1854452) (← links)
- Equational theories for automata (Q2074221) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
- Nondeterministic program schemata and their relation to dynamic logic (Q3034804) (← links)
