Доказательство. Предположим противное. Пусть qi и qj-неотличимые состояния, но для некоторого входного слова состояния j* (
Предположим противное. Пусть qi и qj-неотличимые состояния, но для некоторого входного слова состояния j* ( , q) и j* ( , qj) являются отличимыми.
Пусть - такое входное слово, на котором различаются j*( , qi) и j*( , qj).
Тогда состояния qi и qj различаются на входном слове . Последнее заключение противоречит предположению о неотличимости состояний qi и qj.
Дата добавления: 2015-09-18; просмотров: 554;