Index
The index that appeared in the print version of this title does not match the pages
in your eBook. Please use the search function on your eReading device to search
for terms of interest. For your reference, the terms that appear in the print index
are listed below.
A accepter
Ackermann's function algorithm
alphabet
ambiguity
of a grammar
inherent
automata
deterministic
general characteristics nondeterministic axioms
B
Backus-Naur form base of a cycle basis for induction binary tree
blank
blank-tape halting problem BNF
C
Cartesian product of sets child-parent relation in a tree Chomsky hierarchy
Chomsky normal form Church's thesis Church-Turing thesis clique problem
closure
positive
star