02313nam a2200349 a 4500 20260701202218.0 m d cr cnu---uuuuu 961104s1997 nyu s 000 0 eng d 0387949070 (hardcover : alk. paper) 9781461273097 9781461218449 (Proquest Ebook Central) CO-CtgCURN spa coctgcurn 511.3 21 Kozen, Dexter, 1951- autor. Automata and computability [electronic resource] / Dexter C. Kozen. New York : : : Springer,,, 1997. 1997. 1 recurso en línea (406 páginas) texto txt rdacontent computador c rdamedia recurso en línea cr rdacarrier Undergraduate texts in computer science 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. Teoría de máquinas. Funciones computables. MHC MHC CF 511.3 K887 https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico CF 511.3 K887 ddc 29387 29387 0 0 ddc 0 511_300000000000000_K887 0 CF MHC MHC CF 2025-03-29 0 511.3 K887 2025-03-29 17:09:40 CF 2025-03-29