DFA to RE by Eliminating States
24:53
DFA to RE Part 2 - Example Solution with two accepting states
30:29
Constraint satisfaction problems
8:46
Turing Machines Explained with Pencil
16:32
Ontology, OWL and OWL Components
19:54
KRIPKE Model Checking - Further Queries (Negated props etc)
14:44
DFA to RE Example -- by Eliminating States
11:33
Introducing Context free Grammar and Languages
11:15