Comments on: The Real Theorem Generator: a Context Free Grammar http://davidsd.org/2009/01/the-real-theorem-generator-a-context-free-grammar/ Just another WordPress weblog Tue, 24 Apr 2012 12:37:50 +0000 hourly 1 http://wordpress.org/?v=3.3.2 By: Travels in a Mathematical World http://davidsd.org/2009/01/the-real-theorem-generator-a-context-free-grammar/comment-page-1/#comment-699 Travels in a Mathematical World Fri, 02 Jul 2010 10:13:36 +0000 http://davidsd.org/?p=476#comment-699 <strong>Carnival of Mathematics #67...</strong> Meanwhile, the Theorem of the Day generator is cooking up realistic looking 'theorems' and 'proofs' using a context free grammar.... Carnival of Mathematics #67…

Meanwhile, the Theorem of the Day generator is cooking up realistic looking ‘theorems’ and ‘proofs’ using a context free grammar.…

]]> By: Jiang http://davidsd.org/2009/01/the-real-theorem-generator-a-context-free-grammar/comment-page-1/#comment-337 Jiang Mon, 21 Dec 2009 11:31:18 +0000 http://davidsd.org/?p=476#comment-337 Thanks for this post. I love your concise yet readable format for specifying CFG's, and have written a Python CFG class around it that works properly with philo.gram. My primary purpose was to generate words and names, so I needed to be able to specify the "empty" pseudo-character. My solution was to do a general search-and-replace for pseudo-nonterminals in the form of . Well, thanks again for this enlightening post. Awesome theorem generator ;p Thanks for this post. I love your concise yet readable format for specifying CFG’s, and have written a Python CFG class around it that works properly with philo.gram.

My primary purpose was to generate words and names, so I needed to be able to specify the “empty” pseudo-character. My solution was to do a general search-and-replace for pseudo-nonterminals in the form of . Well, thanks again for this enlightening post. Awesome theorem generator ;p

]]>