Abstrak :
This Is Book About Propositions And Predicates1, Mathematical Preliminaries2, The Theory Of Automata3, Formal Languages4, Regular Sets A~Tj) Regular Grammars5, Context·Free Languages6, Pushdown Automata7, Lr(K) Grammars8, Turing Machines And Linear Bounded Automata9, Decidability Aj\I'd Recursively El\Tu1\Ferable Languages10, Computability11, Complexity12.