## Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977 |

### What people are saying - Write a review

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

### Contents

Aho and R Sethi | 1 |

A Alton | 16 |

K R Apt and J W de Bakker | 30 |

Copyright | |

3 other sections not shown

### Common terms and phrases

algebraic ALGOL 68 algorithm alphabet applied automata binary binary trees bounded balance called colored combinatorial problems complexité complexity Computer Science condition consider construct contains context-free grammar context-free languages contextsensitive Corollary coroutine corresponding data structure defined definition demi-groupes de matrices denote deterministic elements encode equivalent error ETOL system example exists factor graph finite index fixpoint formal function given grammar G head Hence homomorphism implies induction input integer j-node label grammar label language left-fitting leftmost derivation Lemma Let G linear LL(k loop LR(k matching mesure multitape node nondeterministic nonterminal NP-complete NSPACE NTIME obtained operation optimal output pair parser parsing parsing graph pebbles polynomial procedure productions proof properties prove pushdown recursive reduction registers relation restriction result reversal-bounded rule schemes semantics sentential form sequence simple chain grammars simulation stack step subcomputations substring subtree symbol tape Theorem theory tion tree Turing machine variables