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