## Currents in the theory of computing |

### What people are saying - Write a review

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

### Contents

PREFACE | 1 |

AN INFORMAL SURVEY | 143 |

5APPLICATIONS OF LANGUAGE THEORY | 173 |

Copyright | |

2 other sections not shown

### Other editions - View all

### Common terms and phrases

accepted Aho and Ullman algebraic alphabet applied arithmetic automata theory automaton binary Chomsky Chomsky hierarchy closure compiler consider constant construct context-free grammar context-free languages context-sensitive grammar context-sensitive languages defined Definition derivation trees deterministic dynamic measures equivalent example families of languages Figure finite automata formal language theory free program schemas function grammar G graph Greibach Greibach normal form HALT halting problem Hartmanis homomorphism Hopcroft Ianov schema input integer linear lower bounds LR(k mapping matrix method multiplication multitape nondet nondeterministic nonterminal normal form operator precedence output parse tree parser parsing algorithm polynomial precedence grammar problem for program production program schema programming languages proof properties pushdown list pushdown store acceptor questions recognizable recursive regular sets restricted Section sentential form sequence sets of items simulation specific Stearns steps storage string structure subset symbols tape Theorem tion tree automata Turing machine variables