Detalles del Título
Detalles del Título

< Ant.
Sig. >
 
Título Informática teóricaLibros / Impreso - Libros
Contenidos Informática teórica (s.f.) v.1
Informática teórica (s.f.) v.2
Autor(es) Crespo Lopez, Decoroso (Autor)
Publicación Facultad de Informática, [s.f.]
Descripción Física 2v. :il
Idioma Español;
Clasificación(es) 004
SISTEMAS
Materia(s) Informática; Teoría de grafos; Máquinas secuenciales; Autómatas; Máquinas de Turing; Gramáticas foriales; Teoría de la computación;
Resumen Contiene: Volumen 1. Tema I. Introducción. II. Introducción a la teoría de grafos. III. Funciones recursivas. IV. Alfabetos, cadenas y lenguajes. V. Gramáticas formales. VI. Máquinas secuenciales. VII. Autómatas finitos. VIII. Caracterizaciones de los conjuntos regulares. Volumen 2. IX. Máquinas de turing. X. Máquina de turing como reconocedora de cadenas. XI. Máquina de turing universal. XII. Máquinas de turing especiales. XIII. M.T.'S con más de una cinta. Otras variedades de M.T.'S. XIV. M.T.'S no deterministas. XV. Equivalencia: M.T.D. y M.T.N.D. XVI. Numeración de Gödel. XVII. Funciones recurrentes (ampliación). XVIII. Sumas y productos limitados. XIX. Numeraciones de Cantor y Gödel. XX. Ampliación numeración de Gödel. XXI. Recursión primitiva de varias variables. XXII. Predicados recursivos primitivos. XXIII. Predicados comparativos. XXIV. Propiedades generales de las gramáticas formales. XXV. Formas normales. XXVI. Autómata Pushdown. XXVII. Equivalencia de A.P.D.'s y L.C.F.'s. XXVIII. Propiedades de los conjuntos regulares. XXIX. Propiedades de los lenguajes de contexto libre. XXX. Sistemas de post. XXXI. Máquinas de computación paralela.