Change the given paragraph to be easier to understand
A discrete automaton is a mathematical model for a finite state machine (FSM).
If the machine has a countable, finite number of states, it is called finite state machine.