On 23 March 2012 17:13, Kerim Aydin <ke...@u.washington.edu> wrote: > Trying to define an obvious concept here, does recursion work, can > this be written better?
Looks OK to me, except that your self-ownership thing is borked: your recursion rules only apply if that /doesn't/, so it will never be found to own itself per that process. You'll have to work it into the process itself, keeping track of the names seen along the way, like manually maintaining a stack. Although it might suffice simply to say "If this process would not terminate, the golem is instead Emancipated."; the courts can solve the halting problem.