Системы переписывания

Условное переписывание

Расширение систем переписывания, где применение правила зависит от выполнения предварительных условий. Позволяет моделировать более сложные и контекстные преобразования.

← Назад