Theory of computer science (automata, languages and computation)/
xi, 304 pages: diagrams; 24 cm. Content notes : Mathematical preliminaries -- The theory of automata -- Formal languages -- Regular sets and regular grammars -- Context-free languages -- Pushdown automata -- Turing machines -- Linear bounded automata -- LR(k) grammars -- Computability -- Propositions and predicates Robots Computer Science