03:34duration 3 minutes 34 seconds
ECS 120 5a:3 picture of previous proof
09:24duration 9 minutes 24 seconds
ECS 120 3a:4 DFA union proof
06:24duration 6 minutes 24 seconds
ECS 120 2c:2 formal definition of NFA syntax
04:11duration 4 minutes 11 seconds
ECS 120 1b:4 intuitive overview of DFA semantics