Turing Machines - what are they? + Formal Definition

13:28
Turing Machine Definitions: Configuration, Computation, Yields, Halting

8:46
Turing Machines Explained

17:55
Context-Free Grammars (CFG) and Context-Free Languages (CFL) - what are they?

1:00:34
1. Introduction, Finite Automata, Regular Expressions

19:18
Turing Machine Example and Computation (Can you guess what it does?)

15:49
Nondeterministic Turing Machine (Part 1)

17:05
Turing Machines - How Computer Science Was Created By Accident

1:13:59