Automaton
If the machine has a countable, finite number of states, it is called finite state machine.  A diagram that shows all the states, and transitions of such a machine is called finite state diagram.