Checking date: 03/03/2025 10:16:41


Course: 2025/2026

Automata and formal language theory
(20198)
Bachelor in Artificial Intelligence (Plan: 555 - Estudio: 506)


Coordinating teacher:

Department assigned to the subject:

Type: Compulsory
ECTS Credits: 6.0 ECTS

Course:
Semester:




Learning Outcomes
K6: Determine the fundamental principles and models of computation, the theoretical foundations of programming languages and associated lexical, syntactic and semantic processing techniques, algorithmic strategies and the paradigms and techniques of intelligent systems and computational learning necessary for the resolution of problems in any field of application, such as computation, perception and performance in intelligent environments, acquisition, formalisation and representation of human knowledge, interactive and complex information presentation systems, human-computer interaction, computational learning environments and automatic extraction of information or knowledge from large volumes of data.. S4: Apply techniques for extracting information from structured, semi-structured or unstructured data, including text, image, video and audio, by means of relevant data identification and acquisition, reduction, compression, integration, transformation, cleansing and quality assessment techniques, including human-computer interfaces that visualise these data in an effective and user-centred way.
Description of contents: programme
Introduction to Machine Theory and Formal Languages · Formal languages and grammars · Finite automata and regular languages · Battery-powered automatons · Turing machines. · Other automata: McCulloch-Pitts, Probabilistic and Cellular cells
Learning activities and methodology
A1: MASTER CLASS. Lecture of a theoretical nature given by the teacher in the regular classroom. He/she can use different technologies to support his/her expository activity such as presentations, videos, etc. and carry out formative activities of analysis, reflection, debates on the information provided, etc. 100% de presencialidad / A2: PROBLEM SOLVING AND CASE STUDIES IN THE CLASSROOM. Practical activity (guided problems, tutorials or group work) in the regular classroom. It can use different support technologies in its expository activity such as presentations, videos, etc. and perform training activities of analysis, reflection, discussions of the information provided, etc. but does not require a specific infrastructure. 100% de presencialidad / A2bis: PROBLEM SOLVING IN A COMPUTER ENVIRONMENT: Activity similar in nature to A2 but performed in a computer environment with specific hardware and software. 100% de presencialidad / A3: STUDENT'S INDIVIDUAL WORK: This is the student's individual work outside the ¿classroom¿ and consists of self-study, solving exercises and problems, individual work, etc. 0% de presencialidad / A4: LABORATORY SESSIONS. Practical activities that students carry out in a laboratory environment, using the necessary specific resources and under the supervision and control of the professor. In these sessions the maximum number of students per group is 20 students. 100% de presencialidad / A5: FINAL EXAM Consists of an objective test whose purpose is to verify the acquisition of the knowledge, skills and abilities of the course. 100% de presencialidad M1: SEMINARS AND LECTURES SUPPORTED BY COMPUTER AND AUDIOVISUAL AIDS. / M2: PRACTICAL LEARNING BASED ON CASES AND PROBLEMS, AND EXERCISE RESOLUTION. / M3: INDIVIDUAL AND GROUP OR COOPERATIVE WORK WITH THE OPTION OF ORAL OR WRITTEN PRESENTATION. / M4: INDIVIDUAL AND GROUP TUTORIALS TO RESOLVE DOUBTS AND QUERIES ABOUT THE SUBJECT.
Assessment System
  • % end-of-term-examination/test 60
  • % of continuous assessment (assigments, laboratory, practicals...) 40




Extraordinary call: regulations

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