(0'='eS) (5'='Imposs) =
;
Имеется еще одна ситуация, подлежащая рассмотрению. Когда достигается состояние, которое уже было пройдено прежде, т.е. может быть обнаружено в одной из связей построенного пути, нежелательно просматривать его продолжения, поскольку они уже были просмотрены в качестве продолжений предыдущего вхождения этого состояния. Таким образом, повторяющееся состояние замещается на Imposs :
e1 (s.Mp'='eS) e2 (s.M'='eS) =
;
Теперь следует собрать все шесть предложений в правильном порядке. Совместно с другими функциональными определениями (предоставляем читателю изобразить, как работает функция Path ), образуем следующую программу:
Достарыңызбен бөлісу: |
