07:19duration 7 minutes 19 seconds
ECS 120 5a:5 corollary of Myhill-Nerode Theorem…
ECS 120 5a:5 corollary of Myhill-Nerode Theorem we use and its proof
12:07duration 12 minutes 7 seconds
ECS 120 8c:3 definition of NP-completeness