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.