Theory of Computing I: Regular Languages
Formal Languages and Automata provide the basis for analyzing user input from addresses in web forms to complex Java code. This 3-part course provides the basics of the theory. It also shows the limits of each machine model and finally the limits of computability in general.
This course features the basics starting with different types of automata and regular expressions.
Course Structure
- Organization
- Motivation
- Finite-State Automata – Determinism and Nondeterminism
- Finite Automata – Closure Properties
- Regular Expressions
- Finite Automata – Minimization
- Decidable Properties and the Pumping Lemma
