Элементы Состояние Группы операторов машины состояний Узел Переход Операторы темпоральной логики Индикаторы изменений Узел памяти