| "Formal Languages and Automata Theory" - Video Lectures | |||
| Properties of CFLs | |||
| Pushdown Automata | |||
| PDA <=> CFG | |||
| Turing Machines | |||
| Turing Computable Functions | |||
| Combining Turing Machines | |||
| Multi Input | |||
| Turing Decidable Languages | |||
| Varients of Turing Machines | |||
| Structured Grammars | |||