id:kosakにAmbient Calculusとやらの問題を押し付けられた。 !a[P]から始めて、状態遷移を繰り返した場合に、任意の自然数nに対し、途中で a[ (n個の"a[") 0 (n個の"]") | P] | !a[P]という形のプロセスに遷移可能となるような、 プロセスPを1つ求め、実際に…

fork(); int main(){ while(1)fork; }f(){while(1)fork();} int (*main)() = f;i;fork(); int main(int (*fork)()){ while(i++){fork();} main(fork); }