[FRIAM] Motives - Was Abduction

[Marcus Daniels]

Glen writes:
[..] then we'd map nicely back to Marcus' example of "serializing" a recursive function into a tree walkable by a single control pointer [..]

Maybe this wasn't the direction you were going, but I was thinking of the distinction between reducible vs. non-reducible loops.  Where one (a compiler) can collapse cycles into single nodes.   One could assert that certain programs could only be written using a GOTO spaghetti style but I don't think many people would believe that.  

http://infolab.stanford.edu/~ullman/dragon/w06/lectures/dfa3.pdf

Marcus