Es decir, se supone que el comportamiento de nuestra máquina puede modelarse como una máquina de estados.