418
правок
Изменения
→Пример работы
==Пример работы==
Минимизируем данный автомат.:
[[Файл:dka.png]]
=== Шаг 1 ===
Строим <tex>\delta^{-1}</tex>. Например, <tex>\delta^{-1}(F, 1) = \{C, D, G, F\}</tex>.
=== Шаг 2 ===
Построили массив достижимости состояний из стартового.
{| border="1" class="wikitable"
! 0
! A
! B
! C
! D
! E
! F
! G
! H
|-
|true
|true
|true
|true
|false
|true
|true
|true
|true
|}
=== Шаг 3 ===
{| border="1" class="wikitable"
!
! 0
! A
! B
! H
|-
! 0
|
|
{| border="1" class="wikitable"
!
! 0
! A
! B
! H
|-
! 0
|
|marked
|}
=== Шаг 5 ===
Из таблицы видно, что классы эквивалентных состояний это <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>.
=== Шаг 6 ===
Итого получили такой автомат:
