Seymour Ginsburg
Seymour Ginsburg è stato un matematico che si è dedicato ad approfondire gli aspetti dell’informatica teorica, caratterizzandola come disciplina a sè, distinta dalla Matematica o dall Ingegneria Elettronica. In particolare negli anni 1950-1960 è stato un pioniere su aspetti quali teoria dei linguaggi, database, teoria degli automi.
Mentre Noam Chomsky ha aveva introdotto il concetto di “context free grammars” (grammatiche prive di contesto) come modello per i linguaggi naturali, Seymour Ginsburg è stato il primo a mettere in evidenza la connessione tra linguaggi privi di contesto e linguaggi informatici tradizionali, di tipo Algol, portando così la teoria del linguaggio formale al centro della ricerca sui linguaggi di programmazione.