2.10.9. ЗАБОРЫ

Хвост \? Q означает, что если при вычислении тропы Q возникнет неуспех с ненулевой "серьезностью", следует уменьшить "серьезность" на единицу. При этом считается, что уровень тропы Q на единицу больше, чем уровень всей конструкции.

 

Env,m+1,St |- Q => Oe,St'

--------------------------

Env,m,St |- \? Q => Oe,St'

 

Env,m+1,St |- Q => $fail(0),St'

--------------------------------

Env,m,St |- \? Q => $fail(0),St'

 

Env,m+1,St |- Q => $fail(k+1),St'

---------------------------------

Env,m,St |- \? Q => $fail(k),St'

 

Env,m+1,St |- Q => $error(Oe),St'

----------------------------------

Env,m,St |- \? Q => $error(Oe),St'