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

На основе обзора методов алгоритмизации и программирования для систем логического управления и “реактивных” систем сформулированы основные положения технологии алгоритмизации и программирования для этих классов систем, в рамках которой алгоритмы и программы рассматриваются как конечные автоматы. Дан обзор работ, посвященных применению конечных автоматов при программировании других классов задач.