Примитивные взаимодействия

(1) m(B) ~> fail º fail;        fail(B) ~> r º fail;

(2) m(B) ~> null º null;       null(B) ~> r º null;

(когда m¹ fail)

(3) m(B) ~> same º same;  same(B) ~> r º r;

(когда m¹ fail и m¹ null)

Содержание раздела

---