What people are saying - Write a review
We haven't found any reviews in the usual places.
K R Apt and J W de Bakker
G Ausiello A Dº Atri and M Protasi
10 other sections not shown
Other editions - View all
algebraic ALGOL 68 algorithm alphabet applied automata binary bounded balance called colored complexité complexity Computer Science 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 formal function given grammar G graph head Hence homomorphism implies induction input integer label grammar label language left-fitting leftmost derivation Lemma Let G linear LL(k loop LR(k 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 semantics sentential form sequence simple chain grammar simulation step subcomputations substring subtree symbol tape Theorem theory tree Turing machine Ullman variables