## Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

abstract data type algebraic theory ALGOL 68 algorithm alphabet applied attributed grammar automata axioms binary block bound called carré cell Computer Science congruence consider construction context-free grammar context-free languages Corollary corresponding defined definition denote derivation tree deterministic domain element equations equivalent ETOL systems example exists finite index finite set formal free monoid given grammar G graph Hence homomorphism idempotent implies induction input integer iterative algebra jump searching Lemma length Let G linear LL(k LR(k mapping monoid morphism multiset natural numbers node nondeterministic nonterminal normal form notation notion obtained operations p-selective pair parser parsing partial function path PLL(k polynomial predicate problem production proof properties Proposition prove pushdown automaton recursively enumerable languages reduced regular set relation relational algebra replaced result rules semantics sequence sequential stack string structure subset symbol tape terminal Theorem transformation Turing machine two-level grammar unique variables