Автоматы Мура и Мили, граф состояний Опции

[IrinaL]

Уважаемые знатоки! Помогите пожалуйста разобраться с этими автоматами. На фотографии 1 приведена их схема.
а на фотографиях 2 и 3 графы состояний.
Если щелкнуть по фотографиям, то они увеличатся и станут хорошо видны.
Не могли бы Вы пояснить на примере какого-нибудь любого из этих графов, почему они составлены именно так.
1. Не понятно, почему, напрмер, в автомате Мура выбрано 4 состояния 0001, 0011, 0111, 1111?
Бывают ведь и другие, например 0101 и т.д.
2. Не понятно, что означают изогнутые стрелочки, начинающиеся и заканчивающиеся на одном и том же состоянии.
3. И не понятно, почему именно так расположенны прямые стрелочки. (имеются в виду их направления и надписи над ними).
4.И где находятся эти S0, S1,S2,S3 - на выходе Y или Z?
Если кто-нибудь будет любезен пояснить хоть частично, буду очень признательна.

Сообщение отредактировал IrinaL - Oct 11 2008, 14:04

[Alex11]

1. Причуда автора. Возможно, в тексте что-то объяснено, или поставлены условия функционирования данного конкретного автомата.
2. Изогнутые стрелки - переход с возвратом в то же состояние, т.е. по сути - отсутствие перехода. Так иногда рисуют, чтобы перечислить все возможные входные воздействия.
3. См. п.1. Надписи - скорее всего, входные воздействия.
4. Состояния для автомата Мили - как правило, на выходе регистра, т.е. Z.