hn-classics/_stories/2008/15738704.md

created_at	title	url	author	points	story_text	comment_text	num_comments	story_id	story_title	story_url	parent_id	created_at_i	_tags	objectID	year
2017-11-20T09:02:17.000Z	Perl and Undecidability (2008)	http://www.jeffreykegler.com/Home/perl-and-undecidability	gfredtech	67			117					1511168537	story author_gfredtech story_15738704	15738704	2008

Source

Perl and Undecidability - Jeffrey Kegler

| -----|

| ----- | |

|

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.  Download.  Revisions and Corrections.

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

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

|

Subpages (3): Perl and Undecidability Files Revisions to "Perl and Undecidability", Part 1, TPR Spring 2008 Revisions to "Perl and Undecidability", Part 2, TPR Summer 2008

Comments

|

Sign in|Recent Site Activity|Report Abuse|Print Page|Powered By **Google Sites**