Una máquina de estados se denomina máquina de estados finitos ("FSM" por "finite state machine") si el conjunto de estados de la máquina es finito, este es el único tipo de máquinas de estados que podemos modelar en un computador en la actualidad; debido a esto se suelen utilizar los términos "máquina de estados" y "máquina de estados finitos" de forma intercambiable.