Новое доказательство теоремы Будаха – Подколзина

В [1] показано, что для любого конечного автомата можно построить правильную ловушку. Доказательство изложено на языке категорий и очень громоздко. Опираясь на [1], А. С. Подколзин существенно упростил его [2]. Доказательство, приводимое здесь, основано на индукции. Оно логически простое, но приводит к более сложной ловушке, чем в [1, 2].