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).
Године 1953. основао је пионирско алгебарско-рачунарску лингвистичку групу, а 1961. године је допринео доказу пампинг леме (леме умпумпавања) за контекстно слободне језике (понекад се назива Бар-Хилелова лема).