Это хорошо, что вы изучили описание языка конечных автоматов. Но вы совершенно неправильно применяете правила комбинационных схем к схемам последовательностным.
Допустим, у нас в схеме "как бы RS-триггера" вместо верхнего элемента сдвиговый регистр на 4 бита, у которого верхний вход - вход тактового сигнала, а нижний - вход данных. Выход, естественно, это выход данных последнего триггера этого регистра.
Пожалуйста, опишите на вашем языке состояния такой схемы.
то, что RS-триггер находится "несколько на границе" комбинационных и последовательностных схем, маскирует вашу ошибку.
У комбинационных схем состояния входов и состояния выходов можно рассматривать, как единый вектор, а у последовательностных это бессмысленно.
Рассматривая же только выходные состояния триггера, мы получаем три состояния.