[FRIAM] Motives - Was Abduction
Marcus Daniels
marcus at snoutfarm.com
Tue Jan 8 10:57:36 EST 2019
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
More information about the Friam
mailing list