Log in
Join for free
Lessons
9 lessons • 1h 33m
Proposition (Or Statements)
12m 41s
Well- Formed Formula
14m 40s
Automation
11m 13s
Normal Forms of Well- Formed Formula
9m 15s
Rules of Inference for Propositional Calculus (Statement Calculus)
14m 07s
Introduction of Finite Automation
7m 39s
Properties of Transition Function
4m 42s
Transition systems
12m 25s
NONDETERMINISTIC FINITE STATE MACHINE
6m 26s