Kozen, Dexter 1951- creator autor. text nyu New York Springer 1997 1997 monographic eng

electronic

electronic resource

1 recurso en línea (406 páginas) 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. Dexter C. Kozen. Incluye referencias bibliográficas e índice. Teoría de máquinas Funciones computables 511.3 0387949070 (hardcover : alk. paper) 9781461273097 9781461218449 (Proquest Ebook Central) https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh MHC MHC CO-CtgCURN 961104 20260701202218.0 spa