Lenguajes Formales, Autómatas y Computabilidad
De Cuba-Wiki
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, incluida también en su título intermedio Bachiller Universitario en 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.
