Marpa, a General BNF Parser

If you've ever written up some BNF and wanted a parser for it, you've encountered the reality: No standard tool generated a parser from arbitrary BNF. BNF had to be put into special and highly restrictive forms like LALR or LL, and this usually required a lot of tweaking of the grammar. Marpa eliminates these restrictions. It will generate a parser for any BNF. That includes even BNF for grammars which are infinitely ambiguous.

Why call it Marpa?

Warning: Shameless Plug ahead

Marpa was the greatest of the Tibetan "translators". In Marpa's time (the 11th century AD) Indian Buddhism was at its height. A generation of scholars was devoting itself to producing Tibetan versions of Buddhism's Sanskrit scriptures. Marpa became the greatest of them, and today is known as Marpa Lotsawa: "Marpa the Translator".

Translation in the 11th century was not a job for the indoors type. A translator needed to study in India, with the teachers who had the texts and could explain them. From Marpa's home in Tibet's Lhotrak Valley, the best way across the Himalayas to India was over the Khala Chela Pass. To reach the Khala Chela's three-mile high summit, Marpa had to cross two hundred lawless miles of Tibet. Once a pilgrim crested the Himalayas, the road to Nalanda University was all downhill. Eager to reach their destination, the first travelers from Tibet had descended the four hundred miles straight to the hot plains.

The last part of the journey had turned out to be by far the most deadly. Almost no germs live in the cold, thin air of Tibet. Pilgrims who didn't stop to acclimatize themselves reached the great Buddhist center with no immunity to India's diseases. Several large expeditions reached Nalanda only to have every single member die within weeks.

There's more about Marpa in my novel, The God Proof, in which his studies, travels and adventures are a subplot. The God Proof centers around Kurt Gödel's proof of God's existence. Yes, that Kurt Gödel, and yes, he really did work out a God Proof (it's in his Collected Works, Vol. 3, pp. 403-404). The God Proof is available as a free download (http://www.lulu.com/content/933192) and in print form at Amazon.com: http://www.amazon.com/God-Proof-Jeffrey-Kegler/dp/1434807355.

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 CHECKSUMS                    17-Dec-2009 18:44  9.7K  
 Marpa-0.001_027.tar.gz       28-Nov-2009 15:21  200K  
 Marpa-0.001_028.tar.gz       01-Dec-2009 20:30  203K  
 Marpa-0.001_029.tar.gz       02-Dec-2009 11:28  203K  
 Marpa-0.001_030.tar.gz       12-Dec-2009 18:55  209K  
 Marpa-0.001_031.tar.gz       15-Dec-2009 15:54  207K  
 Marpa-0.001_032.tar.gz       16-Dec-2009 09:41  163K  
 Marpa-0.001_033.tar.gz       16-Dec-2009 18:39  163K  
 Marpa-0.001_034.tar.gz       17-Dec-2009 18:42  208K  
 Parse-Marpa-1.000000.meta    13-Dec-2008 11:27  1.2K  
 Parse-Marpa-1.000000.readme  12-Dec-2008 12:45  682   
 Parse-Marpa-1.000000.tar.gz  13-Dec-2008 20:47  143K  
 Parse-Marpa-1.002000.meta    21-Jan-2009 09:55  1.2K  
 Parse-Marpa-1.002000.readme  12-Dec-2008 12:45  682   
 Parse-Marpa-1.002000.tar.gz  21-Jan-2009 10:09  150K  
 Parse-Marpa-1.004000.meta    29-Apr-2009 10:02  1.2K  
 Parse-Marpa-1.004000.readme  12-Dec-2008 12:45  682   
 Parse-Marpa-1.004000.tar.gz  29-Apr-2009 10:18  164K  
 Parse-Marpa-1.005_000.tar.gz 13-Dec-2009 09:58  164K  
 Parse-Marpa-1.005_001.tar.gz 14-Dec-2009 19:14  164K  
 Parse-Marpa-1.005_002.tar.gz 16-Dec-2009 09:52  164K  
 Test-Weaken-1.000000.meta    27-Sep-2008 23:54  571   
 Test-Weaken-1.000000.readme  15-Sep-2008 22:48  851   
 Test-Weaken-1.000000.tar.gz  28-Sep-2008 00:00  8.2K  
 Test-Weaken-1.002000.meta    28-Jan-2009 19:09  585   
 Test-Weaken-1.002000.readme  21-Jan-2009 23:12  851   
 Test-Weaken-1.002000.tar.gz  28-Jan-2009 19:18   14K  
 Test-Weaken-2.000000.meta    19-Feb-2009 19:49  699   
 Test-Weaken-2.000000.readme  21-Jan-2009 23:12  851   
 Test-Weaken-2.000000.tar.gz  19-Feb-2009 19:56   24K  
 Test-Weaken-2.002000.meta    14-Mar-2009 01:03  704   
 Test-Weaken-2.002000.readme  10-Mar-2009 09:43  856   
 Test-Weaken-2.002000.tar.gz  14-Mar-2009 01:08   29K  
 Test-Weaken-3.000000.meta    07-Jul-2009 17:14  704   
 Test-Weaken-3.000000.readme  10-Mar-2009 09:43  856   
 Test-Weaken-3.000000.tar.gz  07-Jul-2009 17:36   34K  
 Test-Weaken-3.002000.meta    01-Aug-2009 15:40  704   
 Test-Weaken-3.002000.readme  10-Mar-2009 09:43  856   
 Test-Weaken-3.002000.tar.gz  01-Aug-2009 15:53   36K