Seymour Ginsburg, was a pioneer of formal language theory and database theory. Seymour was a heavy-weight in automata and leader in theoretical computer science.
While Noam Chomsky focused on context-free grammars to model natural languages, Seymour was the first to note the connection between context-free languages and “Algol-like” computer languages specified in Backus-Naur-Form. This brought formal language theory to the center of programming language research. His results on context-free grammars and push-down acceptors are some of the deepest and most beautiful in the area, and remain standard tools for many computer scientists