hn-classics/_stories/2008/15738704.md

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

---
[Source](http://www.jeffreykegler.com/Home/perl-and-undecidability "Permalink to Perl and Undecidability - Jeffrey Kegler")

# Perl and Undecidability - Jeffrey Kegler



| -----|  
|  
| - |  

| ----- |
| 

#### 

 | 

[Jeffrey Kegler][1]‎ > ‎ 

###  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_][2].  
  
Part 1: "The Halting Problem", in _The Perl Review_, Volume 4, Issue 2, Spring 2008, pp. 21-25.  [Download][3].  [Revisions and Corrections][4].  
  
Part 2: "Rice's Theorem", in _The Perl Review_, Volume 4, Issue 3, Summer 2008, pp. 23-29.  [Download][5].  [Revisions and Corrections][6].  
  
Part 3: "Perl Is Undecidable", in _The Perl Review_, Volume 5, Issue 0, Fall 2008, pp. 7-11.  [Download][7].   

 | 

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

Comments

 | 

[Sign in][9]|[Recent Site Activity][10]|[Report Abuse][11]|[Print Page][12]|Powered By [**Google Sites][13]**

[1]: http://www.jeffreykegler.com/Home
[2]: http://www.theperlreview.com/
[3]: http://www.jeffreykegler.com/Home/perl-and-undecidability/perl-and-undecidability-files/TPR1.pdf?attredirects=0
[4]: http://www.jeffreykegler.com/Home/perl-and-undecidability/part-1-revisions
[5]: http://www.jeffreykegler.com/Home/perl-and-undecidability/perl-and-undecidability-files/TPR2.pdf?attredirects=0
[6]: http://www.jeffreykegler.com/Home/perl-and-undecidability/revisions-to-perl-and-undecidability-part-2-summer-2008
[7]: http://www.jeffreykegler.com/Home/perl-and-undecidability/perl-and-undecidability-files/TPR3.pdf?attredirects=0
[8]: http://www.jeffreykegler.com/Home/perl-and-undecidability/perl-and-undecidability-files
[9]: https://www.google.com/a/UniversalLogin?continue=http://sites.google.com/a/jeffreykegler.com/domain-start/Home/perl-and-undecidability&service=jotspot
[10]: http://www.jeffreykegler.com/system/app/pages/recentChanges
[11]: http://sites.google.com/a/jeffreykegler.com/domain-start/system/app/pages/reportAbuse
[12]: javascript:%3B
[13]: http://sites.google.com