Programming (1º, 1C) Automata and Formal Language Theory (2º, 1C)

Cognitive 1. Knowledge on theoretical basis of automata and formal languages 2. Knowledge on techniques for lexical, syntactic and semantic analysis 3. Techniques for code generation 4. Techniques for error recovery 5. Knowledge on code optimization methods - Procedimental/Instrumental 1. Design of a formal grammar 2. Design of a lexical and syntactic ¡analyzers 3. Use of automatic tools (meta-compilers) for generation of analyzers - Attitudinal 1. Ability to generate new ideas (creativity) 2. Concern with quality 3. Motivation for success 4. Interest for investigating and finding solutions to new problems

Representation of formal languages, lexical analysis, syntactic analysis, semantic analysis, code generation, error recovery, code optimization

Theoretical lectures: 1.5 ECTS. To achieve the specific cognitive competences of the course (PO a, c). Practical lectures: 1,5 ECTS. To develop the specific instrumental competences and most of the general competences, such as analysis, abstraction, problem solving and capacity to apply theoretical concepts. Besides, to develop the specific attitudinal competences. They consist in proposing during the practical lectures a compiler/interpreter project to be developed in teamwork (PO c, d, e, g, k). -Guided academic activities (present teacher): 1 ECTS. The student proposes a project according to the teachers guidance to go deeply into some aspect of the course, followed by public presentation (PO c, d, g). -Guided academic activities (absent teacher): 1.5 ECTS. Exercises and complementary readings proposed by teacher (PO a, c). Exercises and examination: 0,5 ECTS. To complete the development of specific cognitive and procedimental capacities (PO a, c).