Aquí hay un ejemplo sencillo de una máquina de estados con dos estados, y dos entradas combinacionales: