Especialización en Procesadores del Lenguaje.
Postítulo
Online
Mejora tus capacidades en portugués nivel A1
-
Tipología
Postítulo
-
Metodología
Online
-
Horas lectivas
450h
-
Duración
6 Meses
-
Inicio
Fechas disponibles
-
Campus online
Sí
-
Clases virtuales
Sí
Con este programa profesional aprenderá las últimas tendencias y novedades en Procesadores del Lenguaje, de la mano de ilustres expertos del sector. En esta capacitación conocerá en profundidad los conceptos matemáticos teóricos esenciales tras la Informática, como son la lógica proposicional, la teoría de
conjuntos y los conjuntos numerables y no numerables.
Información importante
Documentación
- 26especializacion-procesadores-lenguaje.pdf
Sedes y fechas disponibles
Ubicación
comienzo
comienzo
A tener en cuenta
Objetivos generales
Capacitar científica y tecnológicamente, así como preparar para el ejercicio profesional de la Ingeniería Informática, todo ello con una capacitació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 la Ingeniería del software, todo ello incluyendo la base matemática, estadística y física imprescindible en una Ingeniería
Objetivos específicos
Módulo 1. Informática teórica
Comprender los conceptos matemáticos teóricos esenciales tras la Informática, como son la lógica proposicional, la teoría de conjuntos y los conjuntos numerables y no numerables
Entender los conceptos de lenguajes y gramáticas formales, así como el de máquinas de Turing en sus distintas variantes
Aprender sobre los distintos tipos de problemas indecibles y de problemas intratables, incluyendo las distintas variantes de los mismos y sus aproximaciones
Módulo 2. Teoría de autómatas y lenguajes formales
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
Módulo 3. Procesadores de Lenguajes
Introducir los conceptos relacionados con el proceso de compilación y los distintos tipos de análisis: léxico, sintáctico y semántico
Conocer el funcionamiento de un analizador léxico, su implementación y recuperación de errores
El objetivo de esta capacitació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 Experto Universitario lo llevará progresivamente a adquirir las competencias que lo impulsarán hacia un nivel profesional superior.
Este Experto Universitario en Procesadores del Lenguaje contiene el programa más completo y actualizado del mercado.
Tras la superación de la evaluación, el alumno recibirá por correo postal* con acuse de recibo su correspondiente título de Experto Universitaro emitido por TECH Universidad Tecnológica.
El título expedido por TECH Universidad Tecnológica expresará la calificación que haya obtenido en el Experto Universitario, y reunirá los requisitos comúnmente exigidos por las bolsas de trabajo, oposiciones y comités evaluadores de carreras profesionales.
Título: Experto Universitario en Procesadores del Lenguaje
N.º Horas Oficiales: 450 h.
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 posterioren iPad.
Opiniones
Materias
- Lenguaje
- Comunicación
- Informática
- Tecnología
- Herramientas
Profesores
Docente Docente
Profesor
Temario
Módulo 1. Informática teórica
1.1. Conceptos matemáticos utilizados
1.1.1. Introducción a la lógica proposicional
1.1.2. Teoría de relaciones
1.1.3. Conjuntos numerables y no numerables
1.2. Lenguajes y gramáticas formales e introducción a las máquinas de Turing
1.2.1. Lenguajes y gramáticas formales
1.2.2. Problema de decisión
1.2.3. La máquina de Turing
1.3. Extensiones para las máquinas de Turing, máquinas de Turing restringidas y computadoras
1.3.1. Técnicas de programación para las máquinas de Turing
1.3.2. Extensiones para las máquinas de Turing
1.3.3. Máquinas de Turing restringidas
1.3.4. Máquinas de Turing y computadoras
1.4. Indecibilidad
1.4.1. Lenguaje no recursivamente enumerable
1.4.2. Un problema indecidible recursivamente enumerable
1.5. Otros problemas indecibles
1.5.1. Problemas indecidibles para las máquinas de Turing
1.5.2. Problema de Correspondencia de Post (PCP)
1.6. Problemas intratables
1.6.1. Las clases P y NP
1.6.2. Un problema NP completo
1.6.3. Problema de la satisfacibilidad restringido
1.6.4. Otros problemas NP completos
1.7. Problemas co-NP y PS
1.7.1. Complementarios de los lenguajes de NP
1.7.2. Problemas resolubles en espacio polinómico
1.7.3. Problemas PS completos
1.8. Clases de lenguajes basados en la aleatorización
1.8.1. Modelo de la MT con aleatoriedad
1.8.2. Las clases RP y ZPP
1.8.3. Prueba de primalidad
1.8.4. Complejidad de la prueba de primalidad
1.9. Otras clases y gramáticas
1.9.1. Autómatas finitos probabilísticos
1.9.2. Autómatas celulares
1.9.3. Células de McCulloch y Pitts
1.9.4. Gramáticas de Lindenmayer
1.10. Sistemas avanzados de cómputo
1.10.1. Computación con membranas: sistemas P
1.10.2. Computación con ADN
1.10.3. Computación cuántica
Módulo 2. Teoría de autómatas y lenguajes formales
2.1. Introducción a la teoría de autómatas
2.1.1. ¿Por qué estudiar teoría de autómatas?
2.1.2. Introducción a las demostraciones formales
2.1.3. Otras formas de demostración
2.1.4. Inducción matemática
2.1.5. Alfabetos, cadenas y lenguajes
2.2. Autómatas finitos deterministas
2.2.1. Introducción a los autómatas finitos
2.2.2. Autómatas finitos deterministas
2.3. Autómatas finitos no deterministas
2.3.1. Autómatas finitos no deterministas
2.3.2. Equivalencia entre AFD y AFN
2.3.3. Autómatas finitos con transiciones ϵ
2.4. Lenguajes y expresiones regulares I
2.4.1. Lenguajes y expresiones regulares
2.4.2. Autómatas finitos y expresiones regulares
2.5. Lenguajes y expresiones regulares II
2.5.1. Conversión de expresiones regulares en autómatas
2.5.2. Aplicaciones de las expresiones regulares
2.5.3. Álgebra de las expresiones regulares
2.6. Lema de bombeo y clausura de los lenguajes regulares
2.6.1. Lema de bombeo
2.6.2. Propiedades de clausura de los lenguajes regulares
2.7. Equivalencia y minimización de autómatas
2.7.1. Equivalencia de AF
2.7.2. Minimización de AF
2.8. Gramáticas Independientes de Contexto (GIC)
2.8.1. Gramáticas independientes de contexto
2.8.2. Árboles de derivación
2.8.3. Aplicaciones de las GIC
2.8.4. Ambigüedad en las gramáticas y lenguajes
2.9. Autómatas a pila y GIC
2.9.1. Definición de los autómatas a pila
2.9.2. Lenguajes aceptados por un autómata a pila
2.9.3. Equivalencia entre autómatas a pila y GIC
2.9.4. Autómata a pila determinista
2.10. Formas normales, lema de bombeo de las GIC y propiedades de los LIC
2.10.1. Formas normales de las GIC
2.10.2. Lema de bombeo
2.10.3. Propiedades de clausura de los lenguajes
2.10.4. Propiedades de decisión de los LIC
Módulo 3. Procesadores de Lenguajes
3.1. Introducción al proceso de compilación
3.1.1. Compilación e interpretación
3.1.2. Entorno de ejecución de un compilador
3.1.3. Proceso de análisis
3.1.4. Proceso de síntesis
3.2. Analizador léxico
3.2.1. ¿Qué es un analizador léxico?
3.2.2. Implementación del analizador léxico
3.2.3. Acciones semánticas
3.2.4. Recuperación de errores
3.2.5. Cuestiones de implementación
3.3. Análisis sintáctico
3.3.1. ¿Qué es un analizador sintáctico?
3.3.2. Conceptos previos
3.3.3. Analizadores descendentes
3.3.4. Analizadores ascendentes
3.4. Análisis sintáctico descendente y análisis sintáctico ascendente
3.4.1. Analizador LL(1)
3.4.2. Analizador LR(0)
3.4.3. Ejemplo de analizador
3.5. Análisis sintáctico ascendente avanzado
3.5.1. Analizador SLR
3.5.2. Analizador LR (1)
3.5.3. Analizador LR (k)
3.5.4. Analizador LALR
3.6. Análisis semántico I
3.6.1. Traducción dirigida por la sintaxis
3.6.2. Tabla de símbolos
3.7. Análisis semántico II
3.7.1. Comprobación de tipos
3.7.2. El subsistema de tipos
3.7.3. Equivalencia de tipos y conversiones
3.8. Generación de código y entorno de ejecución
3.8.1. Aspectos de diseño
3.8.2. Entorno de ejecución
3.8.3. Organización de la memoria
3.8.4. Asignación de memoria
3.9. Generación de código intermedio
3.9.1. Traducción dirigida por la síntesis
3.9.2. Representaciones intermedias
3.9.3. Ejemplos de traducciones
3.10. Optimización de código
3.10.1. Asignación de registros
3.10.2. Eliminación de asignaciones muertas
3.10.3. Ejecución en tiempo de compilación
3.10.4. Reordenación de expresiones
3.10.5. Optimización de bucles
Especialización en Procesadores del Lenguaje.