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