Las máquinas de estado son un tipo de herramienta de modelado matemático que se utiliza comúnmente para investigar cómo un sistema interactúa con su entorno. El sistema se considera hecho de estados discretos que cambian en respuesta a entradas externas. En este estudio se investigan las máquinas de estado cuyo entorno es un magma de dos elementos, centrándose en el caso en que el magma es un grupo o un hipergrupo. Se muestra que las máquinas de estado en cualquier magma de dos elementos solo pueden tener hasta tres estados. En particular, se describen y enumeran las máquinas de estado de cuasi-automatas y cuasi-multi-automatas.