Diferencia entre revisiones de «Lenguajes Formales, Autómatas y Computabilidad»
De Cuba-Wiki
(Página creada con «{{Plan 2023|Teoría de Lenguajes}} '''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. Según el Plan de Estudios 2023…») |
Sin resumen de edición |
||
| (No se muestran 5 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
{{Plan 2023|Teoría de Lenguajes}} | {{Plan 2023|Teoría de Lenguajes}} | ||
{{Materia | |||
| anoCursada=Segundo año | |||
| cargaHoraria=5 horas semanales | |||
| correlativas=[[Algoritmos y Estructuras de Datos]] | |||
| correlativaDe=[[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. | |||
==Prácticas== | |||
* [https://github.com/laurabailleres/tleng-lfac Guías resueltas 2C2024] | |||
==Parciales== | |||
===Primeros parciales=== | |||
===Segundos parciales=== | |||
Revisión actual - 19:45 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.
Prácticas
