299
правок
Изменения
→Описание
==Алгоритм==
===Описание===
Алгоритм минимизации конечных автоматов Бржозовского (Janusz A. (John) Brzozowski) выделяется, по крайней мере, следующими качествами:
* Он элегантен и весьма оригинален.
* Он эффективен.
* Он работает даже с недетерминированными конечными автоматами.
Обладая обычными процедурами обращения <tex>rev</tex> и детерминизации <tex>det</tex> конечного автомата, мы, с помощью идеи Бржозовского, можем немедленно приступить к минимизации заданного автомата. Для этого надо дважды провести его через обе вышеуказанные процедуры:
