## Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings |

### What people are saying - Write a review

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

### Contents

Ainhirn | 1 |

Languages with homomorphic replacements | 19 |

Languages with reducing reflexive types | 38 |

Copyright | |

19 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract data types algebra semantics algorithm applied assume attribute grammars automata axioms binary bp-system called characterization complete Computer Science congruence consider constant construction contains context free language context-free context-free grammar Corollary corresponding defined definition denote deterministic domain dynamic logic elements equations equivalent evaluation example exists finite fixpoint formal formula function functor given graph Hence homomorphism IMPL implementation implies induction initial algebra input integer isomorphic Lemma linear LL(k locally testable LR(k matrices morphism nearest neighbor nearest neighbor searching node nondeterministic nonterminal notation obtained operations optimal parameterized partition pebble polynomial predicate problem production programming language proof Proposition prove recursive reduced relation resp restart result satisfies semantics semigroupes sequence simulation sort SPEC SPEC1 specification strategy string subset symbol syntactic tape terminal Theorem théorème theory tion transaction transformation tree Turing machine values variables variété