Automata and computability [electronic resource] / Dexter C. Kozen.
Tipo de material:
TextoSeries Fecha de copyright: New York : : Springer,, 1997Editor: 1997Descripción: 1 recurso en línea (406 páginas)Tipo de contenido: - texto
- computador
- recurso en línea
- 0387949070 (hardcover : alk. paper)
- 9781461273097
- 9781461218449 (Proquest Ebook Central)
- 511.3 K887 21
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|
Libros electrónicos
|
Institución Universitaria Mayor de Cartagena - Sede Centro | 511.3 K887 (Navegar estantería(Abre debajo)) | Disponible |
Incluye referencias bibliográficas e índice.
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.
Descripción basada en recurso impreso