Week 2 notes for Western SE 3310 Theoretical Foundations of Software Engineering Notes: SE 3310b .2cm Theoretical Foundations of Software Engineering 1cm Week 2: DFAs Continued. Introduction to Non-determinism. Finite State Machine Finite Automaton Deterministic Finite Automata Nondeterministic Finite Automata Epsilon Transitions