Свойство доказано. Покажем, что все состояния автомата Á являются отличимыми.

Покажем, что все состояния автомата Á являются отличимыми.

Пусть qi, qjÎ Q*. Тогда состояния qx(i) и qx(j) - отличимые. Поскольку = и = , то ¹ . Следовательно, состояния qi иqj также являются отличимыми.

Поскольку "i( = ) и "i( = ), то множества функций, вычисляемых автоматами Áи Â, совпадают.

Окончательно получаем, что автоматы Áи Â - эквивалентные, причем автомат Á - минимальный.








Дата добавления: 2015-09-18; просмотров: 486;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.