Finite Automata
Finite Automata has a set of states and its control move from state to state in
response to the external inputs. Finite automata may be,
i) Deterministic - Automaton cannot be in more than one state at any time.
ii) Non Deterministic - may be in several state at once.