На схеме ниже представлен граф состояний: