Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления

Шалыто А.А.

Излагаются основы технологии алгоритмизации и программирования задач логического управления, обеспечивающей повышение “безопасности” программного обеспечения. Описываемая технология может быть названа технологией состояний или, более точно, автоматной технологией, а соответствующая область программирования – автоматным программированием.