Beefy Boxes and Bandwidth Generously Provided by pair Networks
Welcome to the Monastery

Re^4: Perl Cannot Be Parsed: A Formal Proof (obvious)

by exussum0 (Vicar)
on Jan 22, 2008 at 11:23 UTC ( #663542=note: print w/replies, xml ) Need Help??

in reply to Re^3: Perl Cannot Be Parsed: A Formal Proof (obvious)
in thread Perl Cannot Be Parsed: A Formal Proof

I don't really find "If you don't try to solve the halting problem, then you can parse Perl" to be a "stronger" conclusion than "If you don't do something random, then you can parse Perl", other than, of course, the presence of high-falutin' comp sci lingo in the former.

You're kind of right. It's called minimalization. If I can solve this base problem, I can solve this more complex problem. Ex: If I can prove I can sort, I can sort in reverse, I can sort using other means etc etc etc. If I can do those things and have proven those things, I can do even more, chaining all the way.

You're minimalizing directly to undeterministic behaviour, as opposed to the halting problem. Most people chain minimalized behaviour to save time. You don't have to prove the halting problem since it's already proven. Your intuition is right. It's only awkward by the convention of, "most people don't do it like that."

I'm amused the conversation is taking place though. You're both arguing cherry pie or apple pie to be tasty. :)

  • Comment on Re^4: Perl Cannot Be Parsed: A Formal Proof (obvious)

Log In?

What's my password?
Create A New User
Domain Nodelet?
Node Status?
node history
Node Type: note [id://663542]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others about the Monastery: (3)
As of 2023-03-26 08:23 GMT
Find Nodes?
    Voting Booth?
    Which type of climate do you prefer to live in?

    Results (63 votes). Check out past polls.