188
правок
Изменения
Нет описания правки
}}
Минимальный автомат <tex>\mathcal{A_LA}_{L}</tex> для регулярного языка <tex>L</tex> определяется следующим образом:
* множество состояний {{---}} это множество левых отношений языка <tex>L</tex>,
* начальное состояние {{---}} <tex>L</tex>,
* терминальные состояния {{---}} множество отношений, содержащих пустое слово,
* функция перехода <tex>\delta(u^{-1 * } \cdot L, x) = (ux)^{-1 } \cdot L</tex>.Автомат <tex>\mathcal{A_LA}_L</tex> уникален с точностью до изоморфизма и имеет минимальное количество состояний.
{{Утверждение
