Пошаговая минимизация полностью определенных автоматов