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