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

]]>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

]]>