05:46 duration 5 minutes 46 seconds
ECS 220 8b:8.3-2 NL-WitnessExistence and…
ECS 220 8b:8.3-2 NL-WitnessExistence and Reachability are NL-complete
07:19 duration 7 minutes 19 seconds
ECS 220 4a:6.1-3 collapse propagates up padding…
ECS 220 4a:6.1-3 collapse propagates up padding technique
05:13 duration 5 minutes 13 seconds
ECS 120 3c:4 NFA Kleene star proof
08:20 duration 8 minutes 20 seconds
ECS 120 3c:1 NFA Kleene star example
05:34 duration 5 minutes 34 seconds
ECS 120 3b:3 NFA union example
03:08 duration 3 minutes 8 seconds
ECS 120 2c:6 epsilon-transition example