On 03/23/2012 12:53 PM, Elliott Hird wrote: > 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.
I don't see the problem. It seems to me to work correctly. > The courts can solve the halting problem. If I were the sort of person to have an email signature, I would put this in it.