About
I'm Josh Haberman, and I currently work for Google in Seattle, WA. My personal projects are:Meta
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