Introduction to fa and dfa
Mealy moore machine model
NFA or Non deterministic finite automata
Design1