000			02311nam a2200349 a 4500
005			20250329170940.0
006			m d
007			cr cnu---uuuuu
008			961104s1997 nyu s 000 0 eng d
020			_a0387949070 (hardcover : alk. paper)
020			_a9781461273097
020			_a9781461218449 (Proquest Ebook Central)
040			_aCO-CtgCURN _bspa _ccoctgcurn
082	0		_a511.3 _221
100	1		_aKozen, Dexter, _d1951- _eautor.
245	1	0	_aAutomata and computability _h[electronic resource] / _cDexter C. Kozen.
260		4	_aNew York : : : _bSpringer,,, _c1997.
260		1	_c1997.
300			_a1 recurso en línea (406 páginas)
336			_atexto _btxt _2rdacontent
337			_acomputador _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
490	1		_aUndergraduate texts in computer science
504			_aIncluye referencias bibliográficas e índice.
588			_aDescripción basada en recurso impreso
520	8		_aProporcion 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.
650		0	_aTeoría de máquinas.
650		0	_aFunciones computables.
856	7		_uhttps://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh _z<img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
942			_cCF _h511.3 _iK887 _2ddc
999			_c6813 _d6813