Es el descubridor de la jerarquía de Chomsky, una clasificación de lenguajes formales de gran importancia en teoría de la computación.