This course introduces different concepts in automata theory and formal languages, including formal proofs, deterministic and non-deterministic automata, regular expressions, regular languages, context-free grammars and languages, and Turing machines.
CSC_2S006_EP - Introduction to Formal Languages (2024-2025)
Enrolment options
Guests cannot access this course. Please log in.
