Diferencia entre revisiones de «Lenguajes Formales, Autómatas y Computabilidad»
De Cuba-Wiki
Sin resumen de edición |
Sin resumen de edición |
||
| Línea 9: | Línea 9: | ||
'''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la Computación]]. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas. | '''Lenguajes Formales, Autómatas y Computabilidad''' es una materia obligatoria de la [[Licenciatura en Ciencias de la Computación]]. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas. | ||
== Programa == | |||
* Lenguajes | |||
* Autómatas finitos | |||
* Lema de pumping y | |||
clausura para lenguajes | |||
regulares | |||
* Expresiones regulares | |||
* Autómatas de pila | |||
* Gramáticas | |||
* Funciones primitivas | |||
recursivas | |||
* Funciones computables | |||
* Indecibilidad. | |||
Diagonalización. | |||
* Reducciones. Teoremas | |||
del Parámetro, de la | |||
Recursión y de Rice. | |||
==Prácticas== | ==Prácticas== | ||
* [https://github.com/laurabailleres/tleng-lfac Guías resueltas 2C2024] | * [https://github.com/laurabailleres/tleng-lfac Guías resueltas 2C2024] | ||
Revisión del 19:25 1 sep 2024
Esta página es sobre la materia del plan de estudios 2023. Para ver la materia del plan 1993, consultar Teoría de Lenguajes.
Lenguajes Formales, Autómatas y Computabilidad
| Año | Segundo año |
|---|---|
| Carga horaria | 5 horas semanales |
| Correlativas | Algoritmos y Estructuras de Datos |
| Correlativa de | Complejidad Computacional |
Lenguajes Formales, Autómatas y Computabilidad es una materia obligatoria de la Licenciatura en Ciencias de la Computación. Su objetivo es introducir al alumnado en las estructuras de autómatas y los lenguajes que estas estructuras pueden definir, junto con aspectos de computabilidad de problemas.
Programa
- Lenguajes
- Autómatas finitos
- Lema de pumping y
clausura para lenguajes regulares
- Expresiones regulares
- Autómatas de pila
- Gramáticas
- Funciones primitivas
recursivas
- Funciones computables
- Indecibilidad.
Diagonalización.
- Reducciones. Teoremas
del Parámetro, de la Recursión y de Rice.
