e1 (s.Mp'='eS)(s.M'='Imposs),
<+ s.M 1>: s.Mn =
(s.Mn'=')>;
Это подразумевает, обднако, что s.M меньше, чем 5. Если оно совпадает с 5, то это означает, что в нашем распоряжении больше нет перемещений, и следует совершить возврат, т.е., удалить последнюю связь и предпринять следующее (возможное) перемещение в предыдущей связи. Для того, чтобы совершить следующее перемещение в предыдущей связи в соответствии с общим правилом, состояние в этой связи заменяется на Imposs :
e1 (s.Mp'='eS) (5'='Imposs) =
;
По написанному РЕФАЛ-предложению, т.е. правилу замещения, можно произвести анализ, чтобы увидеть, каковы возможные исключения из него. Мы уже использовали этот метод выше и должны применить его опять. Если предшествующая связь является начальной связью, т.е. s.Mp является равным 0, то нет возможности для возврата и следует объявить, что задача не имеет решения:
Достарыңызбен бөлісу: |