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'