TY - BOOK AU - Mishra, K. L. P AU - Chandrasekaran, N. TI - Theory of computer science : : automata, languages and computation SN - 0876926324 U1 - 004.01 PY - 1993/// CY - New Delhi : PB - Prentice-Hall of India, KW - Computer science KW - Machine theory KW - Computable functions KW - Computer programming N1 - Mathematical Preliminaries; The Theory of Automata; Formal Languages; Regular Sets and Regular Grammars; Context-free languages; Pushdown Automata; Turing Machines and Linear Bounded Automata; LR (k) Grammars; Computability; Propositions and Predicates ER -