20
An
automaton
is a mathematical model for a
FSM
in this context.