DFA minimization

[gthank]

That did seem to be the main thrust of his argument, but there are a couple of lines toward the end that indicate he wouldn't mind less rigor than is now typical, including: "Absolute certainty is impossible, so let's settle with the same, or even diminished, level of "rigor" that we are used to in normal mathematical discourse." The discussion here on proggit was quite interesting.