TY  - BOOK
AU  - Kelley, Dean
TI  - Automata and formal languages: an introduction 
SN  - 0134977777
U1  - 511.3 20
PY  - 1995///
CY  - Englewood Cliffs, N.J.
PB  - Prentice Hall
KW  - CIENCIA DE LA COMPUTACION
KW  - MATEMATICAS
KW  - LENGUAJES DE PROGRAMACIÓN (computadores electrónicos)
KW  - CONTROL AUTOMATICO
N1  - 0.- Mathematical preliminaries -- 1.- Alphabets and languages -- 2.- Regular languages -- 3.- Context-free languages -- 4.- Turing machines -- 5.- Turing machines and languages -- 6.- Decidability -- 7.- Introduction to compuational complexity.-
ER  -