4 ms·
Can't finite iteration and recursion just be unrolled? And storage just considered another part of the input?
by scarmig 3y ago
Can't finite iteration and recursion just be unrolled? And storage just considered another part of the input?
- grayhatter 3y agoIn theory? Absolutely; unrolling a loop is exactly what it sounds like. Recursion is just a fancy loop. But there's a reason no one does that, and why no compilers emit that as code.
- User23 3y agoFancy in the sense of being a loop with an implicit stack. Or maybe just some registers if TCO. And yet the machines we can actually build are far closer to LBAs than TMs.
- jahewson 3y agoThis is how SMT solvers deal with bounded quantifiers.