In 1953, he founded a pioneering algebraic-computational linguistic group, and in 1961 he contributed to the proof of the pumping lemma for context-free languages (sometimes called the Bar-Hillel lemma).
V roce 1953 založil skupinu algebraické a počítačové lingvistiky, a v roce 1961 se podílel na důkaze lemmatu o vkládání (pumping lemma) pro bezkontextové jazyky (někdy nazývaném Bar-Hillelovo lemma).