Perl 6 - the future is here, just unevenly distributed

IRC log for #marpa, 2014-05-17

| Channels | #marpa index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:29 jeffreykegler joined #marpa
00:37 jeffreykegler Following up a bit from "yesterday" GMT = IRC backlog time
00:38 jeffreykegler My paper will further characterize what the "unmarked" in unmarked middle recursion means, but it won't nail the topic down, because it can't be done ...
00:40 jeffreykegler Joop Leo in his 1991 proved that it is, in general, undecidable whether his 1991 algorithm (and therefore) Marpa parses a grammar in linear time.
00:41 jeffreykegler For most grammars of interest we can know, but not for all grammars.
00:42 jeffreykegler It's possible to encode the Halting Problem in BNF so that proving Marpa/Leo linearity solves the halting problem. :-)
17:05 jeffreykegler joined #marpa

| Channels | #marpa index | Today | | Search | Google Search | Plain-Text | summary