В упомянутом тексте на стр. 15 приведено изображение вычислительного устройства с двумя входными линиями (см. Контрольное изображение (изображения) ниже).
В то время как я понимаю (я думаю), как были определены алфавиты возбуждения (X) и отклика (Z) (т.е. набор упорядоченных 2-кортежей, обозначенных соответственно X и Z), то естьпо декартовым произведениям наборов входных линий (X (1) и X (2) ) и выходных линий (Z (1) и Z (2) ) соответственно;Я, кажется, не понимаю, как Z (1) = {0, 1, 2, 3, 4, 5, 6} и Z (2) = {0, 1,2, 3} откуда получены из генерирующих выражений (z (1) v и z (2) v ), которые объединяютвходы. Это кажется очевидным, но это все же ускользает от меня.
Я учусь самостоятельно (без опыта в CS или инженерном деле). Объяснение / намек на то, как были получены эти наборы, помогло бы (я не люблю замазывать вещи во время учебы). Спасибо за ожидаемый ответ.
(ПРИМЕЧАНИЕ: упомянутый текст доступен на archive.org: https://archive.org/details/IntroductionToTheTheoryOfFiniteStateMachines)
Справочное изображение (страница 15 из упомянутого текста)