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.