Diplomado en Teoría de Autómatas y Lenguajes Formales
Diplomado
Online
Descripción
-
Tipología
Diplomado
-
Metodología
Online
-
Horas lectivas
150h
-
Duración
2 Meses
-
Inicio
Fechas disponibles
-
Campus online
Sí
-
Clases virtuales
Sí
Conocer en profundidad los conceptos básicos y avanzados relacionados con los lenguajes y las expresiones regulares, es fundamental para cualquier profesional informático que quiera especializarse en Teoría de Autómatas y Lenguajes Formales. En este programa aprenderás las últimas novedades del sector y desarrollarás tus habilidades, de la mano de profesionales.
Información importante
Documentación
- 124diplomado-teoria-automatas-lenguajes-formales.pdf
Sedes y fechas disponibles
Ubicación
comienzo
comienzo
Información relevante sobre el curso
Objetivos generales
Formar científica y tecnológicamente, así como preparar para el ejercicio profesional de la ingeniería informática, todo ello con una formación transversal y versátil adaptada a las nuevas tecnologías e innovaciones en este campo.
Obtener amplios conocimientos en el campo de la computación, la estructura de computadoras y en Teoría de Autómatas y Lenguajes Formales, todo ello incluyendo la base matemática, estadística y física imprescindible en una ingeniería
Objetivos específicos
Comprender la teoría de autómatas y lenguajes formales, aprendiendo los conceptos de alfabetos, cadenas y lenguajes, así como a realizar demostraciones formales.
Profundizar en los distintos tipos de autómatas finitos, ya sean deterministas o no deterministas.
Aprender los concepto básicos y avanzados relacionados con los lenguajes y las expresiones regulares, así como la aplicación del lema de bombeo y la clausura de los lenguajes regulares.
Entender las gramáticas independientes de contexto, así como el funcionamiento de los autómatas a pila.
El objetivo de esta formación es ofrecer a los profesionales de Informática, los conocimientos y habilidades necesarios para realizar su actividad utilizando los protocolos y técnicas más avanzados del momento. Mediante un planteamiento de trabajo totalmente adaptable al alumno, este Diplomado te llevará progresivamente a adquirir las competencias que te impulsarán hacia un nivel profesional superior.
Este Diplomado en Teoría de Autómatas y Lenguajes Formales contiene el programa científico más completo y actualizado del mercado.
Tras la superación de las evaluaciones por parte del alumno, éste recibirá por correo postal con acuse de recibo su correspondiente Título de Diplomado emitido por la TECH - Universidad Tecnológica.
El título expedido por la TECH - Universidad Tecnológica expresará la calificación que haya obtenido en el Diplomado, y reúne los requisitos comúnmente exigidos por las bolsas de trabajo, oposiciones y comités evaluadores carreras profesionales.
Título: Diplomado en Teoría de Autómatas y Lenguajes Formales
Nº Horas Oficiales: 150
Nuestra escuela es la primera en el mundo que combina el estudio de casos clínicos con un sistema de aprendizaje 100% online basado en la reiteración, que combina 8 elementos diferentes que suponen una evolución con respecto al simple estudio y análisis de casos. Esta metodología, a la vanguardia pedagógica mundial, se denomina Relearning.
Nuestra escuela es la primera en habla hispana licenciada para emplear este exitoso método, habiendo conseguido en 2015 mejorar los niveles de satisfacción global (calidad docente, calidad de los materiales, estructura del curso, objetivos…) de los estudiantes que finalizan los cursos con respecto a los indicadores de la mejor universidad online en habla hispana.
Recibida su solicitud, un responsable académico del curso le llamará para explicarle todos los detalles del programa, así como el método de inscripción, facilidades de pago y plazos de matrícula.
En primer lugar, necesitas un ordenador (PC o Macintosh), conexión a internet y una cuenta de correo electrónico. Para poder realizar los cursos integramente ON-LINE dispone de las siguientes opciones: Flash - Instalando Flash Player 10 o posterior (http://www.adobe.com/go/getflash), en alguno de los siguientes navegadores web: - Windows: Internet Explorer 6 y posteriores, Firefox 1.x y posteriores, Google Chrome, Opera 9.5 y posteriores - Mac: Safari 3 y posteriores, Firefox 1.x y posteriores, Google Chrome - Linux: Firefox 1.x y posteriores HTML5 - Instalando alguno de los navegadores web: - Google Chrome 14 o posterior sobre Windows o Mac - Safari 5.1 o posterior sobre Mac - Mobile Safari sobre Apple iOS 5.0 o posterior en iPad/iPhone Apple iOS - Articulate Mobile Player; Apple iOS 5.0 o posterior en iPad.
Opiniones
Materias
- Informática
- Equivalencia de AF
- Minimización de AF
- Autómata
- Pila y GIC
Profesores
Docente Docente
Profesor
Temario
1.1. Introducción a la teoría de autómatas
1.1.1. ¿Por qué estudiar teoría de autómatas?
1.1.2. Introducción a las demostraciones formales
1.1.3. Otras formas de demostración
1.1.4. Inducción matemática
1.1.5. Alfabetos, cadenas y lenguajes
1.2. Autómatas finitos deterministas
1.2.1. Introducción a los autómatas finitos
1.2.2. Autómatas finitos deterministas
1.3. Autómatas finitos no deterministas
1.3.1. Autómatas finitos no deterministas
1.3.2. Equivalencia entre AFD y AFN
1.3.3. Autómatas finitos con transiciones ϵ
1.4. Lenguajes y expresiones regulares (I)
1.4.1. Lenguajes y expresiones regulares
1.4.2. Autómatas finitos y expresiones regulares
1.5. Lenguajes y expresiones regulares (II)
1.5.1. Conversión de expresiones regulares en autómatas
1.5.2. Aplicaciones de las expresiones regulares
1.5.3. Álgebra de las expresiones regulares
1.6. Lema de bombeo y clausura de los lenguajes regulares
1.6.1. Lema de bombeo
1.6.2. Propiedades de clausura de los lenguajes regulares
1.7. Equivalencia y minimización de autómatas
1.7.1. Equivalencia de AF
1.7.2. Minimización de AF
1.8. Gramáticas independientes de contexto (GIC)
1.8.1. Gramáticas independientes de contexto
1.8.2. Árboles de derivación
1.8.3. Aplicaciones de las GIC
1.8.4. Ambigüedad en las gramáticas y lenguajes
1.9. Autómatas a pila y GIC
1.9.1. Definición de los autómatas a pila
1.9.2. Lenguajes aceptados por un autómata a pila
1.9.3. Equivalencia entre autómatas a pila y GIC
1.9.4. Autómata a pila determinista
1.10. Formas normales, lema de bombeo de las GIC y propiedades de los LIC
1.10.1. Formas normales de las GIC
1.10.2. Lema de bombeo
1.10.3. Propiedades de clausura de los lenguajes
1.10.4. Propiedades de decisión de los LIC
Diplomado en Teoría de Autómatas y Lenguajes Formales