4
правки
Изменения
Нет описания правки
==Пример==
Минимизируем данный автомат. <br>
[[Файл:dka.jpg]]
<br>
Будем рассматривать только нижний треугольник таблицы пар различимых состояний. <br>
Отметили состояния, различающиеся строкой <tex>\varepsilon</tex>
{| border = "1"
|B
|
|colspan = "6"|
|-
|C
|
|
|colspan = "5"|
|-
|D
|
|
|
|colspan = "4"|
|-
|E
|
|
|
|
|colspan = "3"|
|-
|F
|x
|x
|x
|x
|x
|colspan = "2"|
|-
|G
|x
|x
|x
|x
|x
|
|colspan = "1"|
|-
|H
|
|
|
|
|
|x
|x
|-
|
|A
|B
|C
|D
|E
|F
|G
|}
На момент опустошения очереди
{| border = "1"
|B
|
|colspan = "6"|
|-
|C
|x
|x
|colspan = "5"|
|-
|D
|x
|x
|
|colspan = "4"|
|-
|E
|x
|x
|x
|x
|colspan = "3"|
|-
|F
|x
|x
|x
|x
|x
|colspan = "2"|
|-
|G
|x
|x
|x
|x
|x
|
|colspan = "1"|
|-
|H
|x
|x
|x
|x
|x
|x
|x
|-
|
|A
|B
|C
|D
|E
|F
|G
|}
Из таблицы видно, что классы эквивалентных состояний это <tex> \mathcal {f} A, B \mathcal {g}, \mathcal {f} C, D \mathcal {g}, \mathcal {f} F, G \mathcal {g}, \mathcal {f} E \mathcal {g}, \mathcal {f} H \mathcal {g} </tex>. <br>
Итого получили такой автомат: <br> [[Файл:dkaMin.jpg]]
