Jeffrey Kegler‎ > ‎

Perl and Undecidability

This is the series in which I presented the proofs that Perl parsing is not, in general, decidable.  The articles assume a basic knowledge of Perl, but no familiarity with proofs, Theory of Computation, the Halting Problem, or any of that.  They appeared in successive issues of The Perl Review.

Part 1: "The Halting Problem", in The Perl Review, Volume 4, Issue 2, Spring 2008, pp. 21-25.  DownloadRevisions and Corrections.

Part 2: "Rice's Theorem", in The Perl Review, Volume 4, Issue 3, Summer 2008, pp. 23-29.  DownloadRevisions and Corrections.

Part 3: "Perl Is Undecidable", in The Perl Review, Volume 5, Issue 0, Fall 2008, pp. 7-11.  Download.