Seymour Ginsburg (12 de diciembre de 1927 – 5 de diciembre de 2004) fue un pionero estadounidense de la teoría de autómatas , la teoría del lenguaje formal y la teoría de bases de datos , en particular; y de la informática , en general. Su trabajo influyó en la distinción entre la informática teórica y las disciplinas de las matemáticas y la ingeniería eléctrica.
Durante su carrera, Ginsburg publicó más de 100 artículos y tres libros sobre diversos temas de informática teórica.
Seymour Ginsburg recibió su licenciatura en el City College de Nueva York en 1948, donde junto con su compañero de estudios Martin Davis asistió a una clase de matemáticas de honores impartida por Emil Post . [1] Obtuvo un doctorado en Matemáticas de la Universidad de Michigan en 1952, estudiando con Ben Dushnik .
La carrera profesional de Ginsburg comenzó en 1951, cuando aceptó un puesto como profesor adjunto de matemáticas en la Universidad de Miami en Coral Gables, Florida . En 1955, se concentró por completo en la informática , cuando se mudó a California para trabajar en Northrop Corporation . A esto le siguieron puestos en National Cash Register Corporation , Hughes Aircraft y System Development Corporation .
En SDC, Ginsburg se concentró primero en la teoría de las máquinas abstractas. [2] Posteriormente formó y dirigió un proyecto de investigación dedicado a la teoría del lenguaje formal y los fundamentos de la informática. Los miembros del grupo de investigación incluyeron a: Sheila Greibach , Michael A. Harrison , Gene Rose, Ed Spanier y Joe Ullian. El trabajo que surgió de este grupo distinguió la teoría de la informática de otros campos, colocando a Ginsburg en el centro de lo que se convirtió en la comunidad teórica de la informática. [3]
Fue durante los años de SDC que un joven Jeff Ullman pasó un verano trabajando para Ginsburg, aprendiendo tanto la teoría del lenguaje formal como un enfoque amplio para la investigación en teoría de la informática. Al Aho atribuyó el verano de Ullman con Ginsburg como una gran influencia en la carrera de Aho en Ciencias de la Computación. En una entrevista, Aho recordó que había poca ciencia de la computación en la Universidad de Princeton mientras estudiaba para su doctorado . Sin embargo, después de que Ullman regresara de su verano con Ginsburg, Aho declaró que Ullman "básicamente enseñó a Hopcroft , y a mí, la teoría del lenguaje formal". [4]
Ginsburg se incorporó a la facultad de la Universidad del Sur de California en 1966, donde ayudó a establecer el departamento de Ciencias de la Computación en 1968. Recibió una beca Guggenheim en 1974 y pasó el año viajando por el mundo, dando conferencias sobre las áreas de la informática teórica que había ayudado a crear. Ginsburg fue nombrado el primer profesor Fletcher Jones de Ciencias de la Computación en la USC en 1978, cátedra que ocupó hasta su jubilación en 1999. Continuó su trabajo sobre la teoría del lenguaje formal y los autómatas durante la década de 1970.
En la década de 1980, en la USC, Ginsburg creó un grupo de investigación dedicado a la teoría de bases de datos . Organizó el primer PODS ( Simposio sobre principios de sistemas de bases de datos ) en Marina del Rey en 1982 y fue una fuerza impulsora de la conferencia hasta la década de 1990. Fue honrado con una sesión sorpresa en el PODS de 1992 con motivo de su 64.º cumpleaños. Se creó un homenaje editado por Jeff Ullman para la ocasión. [5]
La carrera de Ginsburg terminó repentinamente en 1999 cuando le diagnosticaron la aparición de la enfermedad de Alzheimer . Se retiró de la docencia activa y se convirtió en profesor emérito de Ciencias de la Computación en la USC. Pasó sus últimos años con una salud en declive hasta que murió el 5 de diciembre de 2004.
Ginsburg fue recordado con cariño en un memorial publicado en el ACM SIGMOD Record [3] en 2005. Más allá de sus contribuciones a la teoría de la informática, fue recordado por la claridad de enfoque que aportó a la investigación y la seriedad con la que asumió su papel como asesor de estudiantes de doctorado. También fue recordado por su generoso apoyo a los investigadores más jóvenes. Entre quienes se beneficiaron de la tutoría de Ginsburg, que no fueron también sus estudiantes de doctorado, se encuentran: Jonathan Goldstine, Sheila Greibach , Michael A. Harrison , Richard Hull y Jeff Ullman .
Los primeros trabajos de Ginsburg se centraron en la teoría de autómatas . En 1958, demostró que la minimización de circuitos " sin tener en cuenta " no necesariamente produce un resultado mínimo. [6] Su trabajo en la teoría de autómatas llevó a la comunidad de la teoría de la conmutación hacia una dirección más teórica. Este trabajo culminó en la publicación de un libro sobre las matemáticas de las máquinas en 1962. [7]
Ginsburg dirigió su atención a la teoría del lenguaje formal en la década de 1960. Estudió gramáticas libres de contexto y publicó una descripción general completa y conocida de los lenguajes libres de contexto en 1966. [8] Ginsburg fue el primero en observar la conexión entre los lenguajes libres de contexto y los lenguajes " similares a ALGOL ". [9] Esto hizo que el campo de la teoría del lenguaje formal se aplicara a la investigación del lenguaje de programación . Los resultados de Ginsburg sobre gramáticas libres de contexto y aceptores push-down se consideran algunos de los más profundos y hermosos en el área. Siguen siendo herramientas estándar para muchos científicos informáticos que trabajan en las áreas de lenguajes formales y autómatas. [3] Muchos de sus artículos en este momento fueron coescritos con otros investigadores destacados del lenguaje formal, incluidos Sheila Greibach y Michael A. Harrison .
La unificación de diferentes visiones de los sistemas formales fue un tema constante en el trabajo de Ginsburg. [3] En la teoría del lenguaje formal, sus artículos examinaron las relaciones entre los sistemas basados en gramática, los sistemas basados en aceptores y las caracterizaciones algebraicas de familias de lenguajes. La culminación de este trabajo fue la creación de una de las ramas más profundas de la informática , las familias abstractas de lenguajes , en colaboración con Sheila Greibach en 1967. [10] [11]
En 1974, Ginsburg, junto con Armin B. Cremers , desarrolló la teoría de las formas gramaticales. [12] [13] [14]
En la década de 1980, Ginsburg se convirtió en un pionero en el campo de la teoría de bases de datos . Continuó trabajando en este campo hasta su jubilación. Sus contribuciones profesionales abarcaron temas tan diversos como la dependencia funcional , [15] [16] los historiales de objetos, [17] los historiales de hojas de cálculo, [18] los registros de datos , [19] y la reestructuración de datos. [20]
