000			02145nam a2200349 a 4500
003			co-ctgiumayor
005			20240705100725.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-CtgIUMC _bspa _ccoctgiumc _drda
082	0		_a511.3 _bK887 _221
100	1		_aKozen, Dexter, _d1951- _eautor.
245	1	0	_aAutomata and computability _h[electronic resource] / _cDexter C. Kozen.
264		4	_aNew York : : _bSpringer,, _c1997
264		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.
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.
588			_aDescripción basada en recurso impreso
650		0	_aTeoría de máquinas.
650		0	_aFunciones computables.
856			_uhttps://drive.google.com/file/d/1gyiUtvpmZ82fQ2rkPlThACRWnYDgJ7Jx/view?usp=sharing _zDar click aqui para ver texto completo
942			_cCF _2ddc
999			_c87573 _d87573