Применение неудачного правила блокирует завершение вычислений

В любой применимой последовательности перемена мест правил не приводит к изменению результирующего состояния

Не требует использования стратегий разрешения конфликтного множества

Каждое правило, применимое к состоянию S, применимо к состоянию S1, полученному при выполнении любого применимого правила из П к S

Целевое состояние, удовлетворяющееся некоторым состоянием S, удовлетворяется состоянием, полученным из S выполнением любого применимого правила из П