Teoría de autómatas y lenguajes formales, Dean Kelley, libro PDF, Mega

Datos Técnicos.

Español || Formato: .PDF || Tamaño: 111MB || Servidor: Mega

Descripción.

Este libro es el resultado de las anotaciones tomadas en el curso de introducción a la teoría de la computación, impartido en la universidad Gustavus Adolfus. Di­cho curso abarca los temas de lenguajes formales y autómatas, máquinas de Tu­ring y computabilidad a través de la resolubilidad. El curso va dirigido a estu­diantes de segundo año de Ciencias de la Computación y hasta ahora este curso tenía como principal prerrequisito el haber seguido con anterioridad un curso so­bre lectura y tratamiento de las demostraciones matemáticas. Resumen de contenido  0. Preliminares matemáticos 0.1 Lógica elemental 0.2 Definiciones básicas 0.3 Operaciones con conjuntos 0.4 Relaciones y funciones 0.5 Inducción 0.6 Cardinalidad 1. Alfabetos y lenguajes 1.1 Alfabetos, palabras y lenguajes 1.2 Operaciones con cadenas 1.3 Operaciones con lenguajes 2. Lenguajes regulares 2.1 Lenguajes sobre alfabetos 2.2 Lenguajes regulares y expresiones regulares 2.3 Autómata finito determinista 2.4 AFD y lenguajes 2.5 Autómata finito no determinista 2.6 Equivalencia de AFN y AFD 2.7 8-transiciones 2.8 Autómatas finitos y expresiones regulares 2.9 Propiedades de los lenguajes regulares 2.10 Aplicaciones de las expresiones regulares y los autómatas 3. Lenguajes independientes del contexto 4. Máquinas de Turing 5. Máquinas de Turing y lenguajes 6. Resolubilidad 7. Introducción a la complejidad computacional

Descarga.