Каннибал мен миссионерлер


e1 (s.Mp'='eS)(s.M'='Imposs)



бет8/10
Дата07.02.2022
өлшемі38,44 Kb.
#84826
түріПрограмма
1   2   3   4   5   6   7   8   9   10
Байланысты:
Каннибал мен миссионерлер

e1 (s.Mp'='eS)(s.M'='Imposs),
<+ s.M 1>: s.Mn =
)>;
Это подразумевает, обднако, что s.M меньше, чем 5. Если оно совпадает с 5, то это означает, что в нашем распоряжении больше нет перемещений, и следует совершить возврат, т.е., удалить последнюю связь и предпринять следующее (возможное) перемещение в предыдущей связи. Для того, чтобы совершить следующее перемещение в предыдущей связи в соответствии с общим правилом, состояние в этой связи заменяется на Imposs :
e1 (s.Mp'='eS) (5'='Imposs) =
<\/a>") //-->