· Identificar los componentes básicos de un lenguaje formal: alfabeto y cadena
· Definir lenguajes formales por comprensión y recursivamente
· Identificar diferencias entre lenguajes formales y naturales
· Usar las operaciones típicas con lenguajes y aplicarlas para definir lenguajes complejos a partir de lenguajes más sencillos
· Modelar la sintaxis y semántica las expresiones regulares
· Usar expresiones regulares para describir conjuntos de cadenas Analizar el lenguaje descrito por cierta expresión regular
· Identificar las características básicas de un autómata finito, los distintos tipos de autómatas finitos y los métodos de transformación de autómatas
· Diseñar autómatas finitos y usarlos como modelo para obtener algoritmos de validación, búsqueda y sustitución de cadenas de patrón regular Usar herramientas de programación que soportan expresiones regulares para resolver estos mismos problemas
· Analizar el lenguaje que acepta cierto autómata finito
· Enumerar las limitaciones de los autómatas finitos como mecanismos de procesamiento de cadenas
· Identificar las caracterísitcas de un autómata con pila, las diferencias respecto a los autómatas finitos y las limitaciones de los autómatas con pila como modelo de algoritmos de procesamiento de cadenas
· Diseñar autómatas con pila y analizar el lenguaje aceptado por cierto autómata con pila
· Identificar las caracterísitcas de una gramática libre del contexto y su aplicación para describir la sintaxis de lenguajes formales, como lenguajes de programación y de lógica formal
· Usar adecuadamente las reglas de la gramática para generar derivaciones y árboles sintácticos Analizar el lenguaje generado por cierta gramática libre del contexto
· Identificar las caracterísitcas de una gramáticas regulare como tipo restringido de gramáticas libres del contexto y su relación con autómatas finitos y expresiones regulares
· Aplicar correctamente diversos algoritmos de transformación de gramáticas, para simplificarlas o facilitar su tratamiento computacional
· Relacionar adecuadamente los formalismos de autómatas con pila y gramáticas libres del contexto
· Aplicar en la práctica las gramáticas y autómatas con pila en la descripción de sintaxis y análisis de cadenas de lenguajes formales sencillos
· Saber identificar cuál es la máquina teórica más adecuada resolver un problema de procesamiento de cadenas de estructura regular o libre del contexto
