OUTLINE
definitions of finite state machine (FSM)/ finite automata (FA)
types of FA
basic operations
algorithm and examples for some operations
intersection, difference, minimization and determination etc.
applications