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

А. А. Шалит Федеральний науково-виробничий центр ГУП “НВО” Аврора “” Санкт-Петербурзький державний інститут точної механіки й оптики (Технічний університет) SoftCraft Викладаються основи технології алгоритмізації та програмування задач логічного керування, що забезпечує підвищення “безпеки” програмного забезпечення. Описувана технологія може бути названа технологією станів або, більш точно, автоматною технологією, а відповідна область програмування – автоматним програмуванням.