Изменения

Обладая обычными процедурами обращения (<tex>rev) </tex> и детерминизации (<tex>det) </tex> конечного автомата, мы, с помощью идеи Бржозовского, можем немедленно приступить к минимизации заданного автомата. Для этого надо дважды провести его через обе вышеуказанные процедуры:mFA = det(rev(det(rev(FA)))), где

<tex>mFA = det(rev(det(rev(FA))))</tex>, где * <tex>FA </tex> это исходный КА,* <tex>rev </tex> это процедура обращения КА,* <tex>det </tex> это процедура детерминизации КА,* <tex>mFA </tex> это минимизированный КА.