дискретная
описывающая изменение конечного набора состояний
описывающая набор ограниченного числа переменных состояния и закономерности изменения их значений
описывающая набор ограниченного числа состояний объекта моделирования и условия перехода из одного состояния в другое
станков-автоматов