The following pages link to The theory of languages (Q5592247):
Displaying 27 items.
- Efficient computation of the locally least-cost insertion string for the LR error repair (Q578925) (← links)
- On the 'correct prefix property' in precedence parsers (Q792099) (← links)
- Erratum to ``On the 'correct prefix property' in precedence parsers'' (Q797299) (← links)
- A note on removing loops from table-driven code generators (Q1064081) (← links)
- An undecidable problem for context-free grammars (Q1067789) (← links)
- A Yacc extension for LRR grammar parsing (Q1092677) (← links)
- Computing dominators in parallel (Q1108035) (← links)
- Dynamic program slicing (Q1110308) (← links)
- Structure of decoders for multivalued encodings (Q1115848) (← links)
- Multidimensional \(\sigma\)-automata, \(\pi\)-polynomials and generalised S-matrices (Q1128666) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- PHRASE parsers from multi-axiom grammars (Q1129132) (← links)
- Error correction by mutational grammars (Q1149790) (← links)
- On the decidability of equivalence for deterministic pushdown transducers (Q1158772) (← links)
- Finite constants: Characterizations of a new decidable set of constants (Q1176239) (← links)
- A functional LR parser (Q1200812) (← links)
- The inclusion problem for simple languages (Q1235014) (← links)
- Profitability computations on program flow graphs (Q1242449) (← links)
- On the covering problem for left-recursive grammars (Q1258609) (← links)
- Efficient management of dynamic tables (Q1321831) (← links)
- Perfect hashing (Q1391123) (← links)
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- Tracing where and who provenance in linked data: a calculus (Q1929234) (← links)
- A generalized mathematical theory of structured programming (Q2265794) (← links)
- Über einen Automaten mit Pufferspeicherung (Q2537131) (← links)
- On the uniqueness of the equilibrium state (Q4055923) (← links)
- A note on some systems of lindenmayer (Q5622169) (← links)
