Teaching GuideTerm Faculty of Computer Science |
Grao en Intelixencia Artificial |
![]() |
![]() |
![]() |
Identifying Data | 2023/24 | |||||||||||||
Subject | Automata and Formal Languages | Code | 614G03017 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 2nd four-month period |
Second | Obligatory | 6 | ||||||||||
|
Learning outcomes | Study programme competences / results | ||
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 |
|