## Currents in the theory of computing |

### 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

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 function grammar G graph Greibach Greibach normal form HALT halting problem Hartmanis homomorphism Hopcroft Ianov schema input integer linear LOOP 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 statement Stearns steps storage string structure subset symbols tape Theorem tion translation tree automata tree schema Turing machine variables