TY  - BOOK
AU  - Kozen,Dexter
TI  - Automata and computability
T2  - Undergraduate texts in computer science
SN  - 0387949070 (hardcover : alk. paper)
U1  - 511.3 21
PY  - 1997///
CY  - New York :
PB  - Springer,
KW  - Teoría de máquinas
KW  - Funciones computables
N1  - Incluye referencias bibliográficas e índice
N2  - Proporcion  a los estudiantes universitarios una introducción a los modelos teóricos básicos de computabilidad y desarrollar algunas de las estructuras ricas y variadas del modelo. Los estudiantes que ya tienen algo de experiencia con las matemáticas discretas de primaria encontrarán que este es un primer curso con buen ritmo, y una serie de capítulos complementarios presentan conceptos más avanzados. La primera parte del libro está dedicada a autómatas finitos y sus propiedades. Los autómatas pushdown proporcionan una clase más amplia de modelos y permiten el análisis de lenguajes sin contexto. En los capítulos restantes, se presentan las máquinas de Turing y el libro culmina en discusiones sobre computabilidad efectiva, capacidad de decisión y los teoremas de incompletitud de Gdel. Se proporcionan muchos ejercicios, desde los más fáciles hasta los más desafiantes
UR  - https://drive.google.com/file/d/1gyiUtvpmZ82fQ2rkPlThACRWnYDgJ7Jx/view?usp=sharing
ER  -