CM-преобразования с использованием
?-полусоединения: В следующем правиле преобразования фиксируется базовый шаг CM-перезаписи [SS94]:
где ?2 включает только атрибуты из attrs(F)
attrs(E1), и E1’ и E2’ определяются ниже:
Мы называем это преобразование шагом ограничительного магического преобразования (Constraint Magic Transformation, CMT). Шаг CMT может быть порожден из более простых правил преобразования; подробности представлены в [SSS95].
