Datos Identificativos | 2024/25 | |||||||||||||
Asignatura | Autómatas e Linguaxes Formais | Código | 614G03017 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Grao | 2º cuadrimestre |
Segundo | Obrigatoria | 6 | ||||||||||
|
Resultados de aprendizaxe | Competencias / Resultados do título | ||
Comprender os conceptos da teoría de autómatas e das linguaxes formais, e estudar as súas aplicacións. | A2 A3 |
B2 B3 B4 B9 |
C2 |
Coñecer os diferentes modelos de máquinas computacionales, gramáticas e linguaxes formais, así como a correspondencia entre autómatas, linguaxes e gramáticas. | A2 A3 |
B5 B6 B7 B8 B9 B10 |
C3 |
Asimilar e aplicar os conceptos de decidibilidade e complexidade computacional. | A2 A3 |
B2 B3 B5 B6 B7 B8 B10 |
C2 C3 |