Teoría de autómatas y lenguajes formales

Sinopsis del Libro

La informática teórica o teoría de autómatas y lenguajes formales se sustenta en una base matemática derivada del Álgebra. Este libro es accesible a cualquier lector con una formación matemática universitaria elemental, e incluye el material matemático adicional necesario para que sea autocontenido.La informática teórica trabaja con los tres paradigmas de lenguajes, máquinas y gramáticas; los clasifica según su complejidad y los relaciona estudiando las equivalencias existentes entre ellos. Este libro realiza de forma explícita un recorrido independiente por cada uno de los paradigmas, que facilita la comprensión de sus peculiaridades, para estudiar posteriormente sus relaciones. El orden de presentación de los capítulos intenta seguir el orden cronológico de su aparición. Además de estos paradigmas clásicos, la investigación en Informática Teórica ha propuesto y estudiado otros que se pueden considerar extensiones de los mismos. Este libro introduce algunos de los más citados actualmente, lo que facilitará al lector investigaciones posteriores. El libro se completa con material práctico disponible en páginas web, que incluye problemas resueltos y versiones ejecutables de algoritmos descritos en el mismo, que facilitan la incorporación del alumno a esta disciplina.

Ficha del Libro

Total de páginas 400

Autor:

Enrique Alfonseca Cubero

Categoría:

Informática

Formatos Disponibles:

MOBI, EPUB, PDF

Descargar Libro

Opciones de Descarga

Valoración

Popular

3.3

80 Valoraciones Totales

Libros similares de Informática

Lenguajes de definición y modificación de datos sql. IFCT0310

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición de certificados de profesionalidad. Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño del trabajo.

El arte de programar ordenadores. Clasificación y búsqueda

Este volumen comprende los capítulos 5 y 6 de la serie completa. El capítulo 5 está dedicado a la clasificación, que es un tema más bien largo, que se ha dividido principalmente en dos partes: clasificación interna y clasificación externa. El capítulo 6 trata del problema de la búsqueda de ésteres especificados en tablas o ficheros: está subdividido en métodos que buscan secuencialmente o por comparación de claves, o por propiedades digitales, o por desmenuzamiento koshing y luego considera el problema más difícil de recuperación de la clase secundaria.

Aprender Autocad 2012 con 100 ejercicios prácticos

AutoCAD 2012 es en la actualidad una de las aplicaciones más respetadas y utilizadas por diseñadores, ingenieros y arquitectos. Con este manual aprenderá a manejar de forma cómoda sus herramientas más básicas. En esta versión de AutoCAD, se presentan interesantes novedades, tanto en su aspecto como en sus herramientas y funciones, que incrementan las posibilidades de creación y diseño técnico. Con este libro: Aprenderá a modificar fácil, gráfica e intuitivamente el aspecto de líneas, arcos, cotas y directrices múltiples con los nuevos pinzamientos multifunción. Creará rápida ...