14:55 duration 14 minutes 55 seconds
ECS 120 5c:4 formal definition of TM semantics
errata: At 4:38, I incorrectly said and wrote that L,R,S correspond to +1, -1, and 0. They correspond to -1, +1, and 0, i.e., moving left (L) decrements (-1) the tape head position, and moving right…
02:08 duration 2 minutes 8 seconds
ECS 120 4c:4 expression automata
04:11 duration 4 minutes 11 seconds
ECS 120 1b:4 intuitive overview of DFA semantics
03:16 duration 3 minutes 16 seconds
ECS 120 1b:2 formal models of computation