RA1: Comprender los conceptos de la teoría de autómatas y de los lenguajes formales, y estudiar sus aplicaciones.
A2 A3 A4 A5
B1 B2 B3 B4 B5
C2 C3
D2 D3
RA2: Conocer los diferentes modelos de máquinas computacionales, gramáticas y lenguajes formales, así como la correspondencia entre autómatas, lenguajes y gramáticas.
A2 A3 A4 A5
B1 B2 B3 B4 B5
C2 C3
D2 D3
RA3: Asimilar y aplicar los conceptos de decidibilidad y complejidad computacional.
A2 A3 A4 A5
B1 B2 B3 B4 B5
C2 C3
D2 D3
Universidade de Vigo
|
Rectorado |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000