Introduction to Formal Language Theory University of Bordeaux
Course Overview
Learning objectives: - Become familiar with basic concepts of Formal Language Theory - Explain and manipulate the different concepts in automata theoryand formal languagesSkills and abilities: - Design automata or regular expressions for simple languages - Determine if a certain word belongs to a language - Describe the language accepted by an automata or generated by aregular expression - Transform between equivalent deterministic and nondeterministicfinite automata, and regular expressions
Learning Achievement
Competence
Course prerequisites
Grading Philosophy
- Written exam, duration of 1.5hr (50%) - Continuous assessment (50%)
Course schedule
- Alphabets, words and languages - Regular expressions and regularlanguages - Deterministic finite automata (DFA) - Nondeterministicfinite automata (NFA) - Kleene’s Theorem - From NFA to DFA -Minimisation of automata
Course type
In-class: lectures, tutorials (16h) Homework (16h)
Online Course Requirement
Instructor
Other information
Duration: 6 weeks Study level: University Diploma in TechnologyLanguage of instruction: EnglishMode of delivery: In-class: lectures and tutorials
Site for Inquiry
Please inquire about the courses at the address below.
Contact person: Éric SOPENAeric.sopena@u-bordeaux.fr