Теория конечных автоматов и бинарные деревья в методе формального проектирования и описания алгоритма дискретного управления

Авт.: Марарескул С.И., Тютяев Е.А.

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



Внимание!
Купить полный текст статьи (формат - PDF) могут только авторизованные посетители сайта.