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