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