Доказательство. Предположим противное. Пусть qi и qj-неотличимые состояния, но для некоторого входного слова состояния j* (

Предположим противное. Пусть qi и qj-неотличимые состояния, но для некоторого входного слова состояния j* ( , q) и j* ( , qj) являются отличимыми.

Пусть - такое входное слово, на котором различаются j*( , qi) и j*( , qj).

Тогда состояния qi и qj различаются на входном слове . Последнее заключение противоречит предположению о неотличимости состояний qi и qj.








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


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

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

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

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