Daily Archives: July 29, 2008

A partial retraction to my last entry

From a theoretical standpoint, my last entry was incorrect when I said that my new algorithm in Gazelle can decide whether a grammar is strong-LL(k) or strong-LL(*). I had proofs against me — these problems have actually been proven undecidable. … Continue reading

Posted in Gazelle | 1 Comment