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