299
правок
Изменения
→Описание
==Алгоритм==
===Описание===
Обладая обычными процедурами обращения (rev) и детерминизации (det) конечного автомата, мы, с помощью идеи Бржозовского, можем немедленно приступить к минимизации заданного автомата. Для этого надо дважды провести его через обе вышеуказанные процедуры:
mFA = det(rev(det(rev(FA)))), где
FA это исходный КА,
rev это процедура обращения КА,
det это процедура детерминизации КА,
mFA это минимизированный КА.
===Корректность===
==Пример работы==
