An Alphabet, ∑, is a non-empty set of symbols.
For example:
Well-behaved means:
A Finite Automaton (FA) aka Finite-State Machine (FSM) is a simple mathematical machine; it is a representation of how computations are performed with limited memory space.