Представлена программа, реализующая метод построения алгоритмов дискретного управления. Метод базируется на теории конечных автоматов и бинарных деревьях. Исследование и разработка велись в интересах проектирования математического обеспечения АСУ ТП и оформления проектной документации, но сфера применения метода также включает реализацию и отладку алгоритма управления. Описана теория конечных автоматов, в той степени, в которой она применяется в методе.
