What people are saying - Write a review
We haven't found any reviews in the usual places.
Aho and R Sethi
K R Apt and J W de Bakker
11 other sections not shown
Other editions - View all
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 equivalent error ETOL system example exists expression factor graph finite index fixpoint function given grammar G graph 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 grammar simulation stack step subcomputations substring subtree symbol tape Theorem theory tion tree Turing machine variables