His earlier work in automata theory includes an algorithm for context-free parsing, which is (as of 2010) still the asymptotically fastest known.
Jego wcześniejsze prace w teorii automatów zawierają algorytm do parsowania bezkontekstowego (rozszerzenie algorytmu CYK), który jest obecnie (na rok 2010) asymptotycznie najszybszym znanym.