Automata and computability [electronic resource] / Dexter C. Kozen.
By: Kozen, Dexter [autor.].
Material type: BookSeries: Copyright date: New York : : Springer,, 1997Publisher: 1997Description: 1 recurso en línea (406 páginas).Content type: texto Media type: computador Carrier type: recurso en líneaISBN: 0387949070 (hardcover : alk. paper); 9781461273097; 9781461218449 (Proquest Ebook Central).Subject(s): Teoría de máquinas | Funciones computablesDDC classification: 511.3 Online resources: <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico Summary: 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.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Libros electrónicos | 511.3 K887 (Browse shelf) | Available |
Incluye referencias bibliográficas e índice.
Descripción basada en recurso impreso
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.