Один из первых создателей алгоритмов синтаксического анализа и унификационной грамматики, один из классиков машинного перевода и автоматизированного перевода.