First page Back Continue Last page Overview Graphics
Intuition – cont.
On peut facilement imaginé de nouvelle primitives, comme par exemple:
a[burst n.P | Q] ® P | Q
Mais il est difficile de comprendre les implications possibles:
prison(M) = (nk,m)(m[M.burst m.in k] | k[ ])
prison(in a) | a[P] ®* (nk,m)(a[in k | P] | k[ ])
®* (nk)k[ a[P] ]