Checking date: 22/07/2025 13:32:08


Course: 2025/2026

Automata Theory and Formal Languages
(20535)
Bachelor in Data Science and Engineering (Plan: 566 - Estudio: 350)


Coordinating teacher:

Department assigned to the subject: Computer Science and Engineering Department

Type: Compulsory
ECTS Credits: 6.0 ECTS

Course:
Semester:




Learning Outcomes
K3: To know fundamental contents in their area of study starting from the basis of general secondary education and reaching a level proper of advanced textbooks, including also some aspects of the forefront of their field of study. K4: Knowledge of basic scientific and technical subjects that qualify for the learning of new methods and technologies, as well as providing a great versatility to adapt to new situations, in the field of data storage, management and processing. K9: To know the theory of languages, grammars and automata and their application to lexical and syntactic analysis associated with data analysis. S3: Ability to solve technological, computer, mathematical and statistical problems that may arise in data engineering and science, applying knowledge of mathematics, probability and statistics, programming, databases, and languages, grammars and automata. S4: Ability to solve mathematically formulated problems applied to various subjects, using numerical algorithms and computational techniques, and applying knowledge of: algebra; geometry; differential and integral calculus; numerical methods; numerical algorithms; statistics and optimization C2: To develop those learning skills necessary to undertake further studies with a high degree of autonomy. C3: Ability to solve problems with initiative, decision making, creativity, and to communicate and transmit knowledge, skills and abilities, understanding the ethical, social and professional responsibility of the data processing activity. Leadership capacity, innovation and entrepreneurial spirit C5: Be able to analyze and synthesize basic problems related to engineering and data science, elaborate, defend and efficiently communicate solutions individually and professionally, applying the knowledge, skills, tools and strategies acquired or developed in their area of study.
Description of contents: programme
1. Introduction to the theory of automata and formal languages 2. Automata Theory 3. Finite Automata 4. Languages and Formal Grammars 5. Regular Languages 6. Pushdown Automata 7. Turing Machines 8. Computational Complexity
Assessment System

The course syllabus may change due academic events or other reasons.