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; e informática , en general. Su trabajo fue influyente en la distinción de la informática teórica de las disciplinas de las matemáticas y la ingeniería eléctrica.
Seymour Ginsburg | |
---|---|
Nació | 12 de diciembre de 1927 |
Fallecido | 5 de diciembre de 2004 | (76 años)
Nacionalidad | nosotros |
alma mater | City College of New York , Universidad de Michigan |
Conocido por | Teoría del lenguaje formal , Familias abstractas de lenguajes , Teoría de bases de datos , Historias de objetos |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad del Sur de California , Universidad de Miami |
Asesor de doctorado | Ben Dushnik |
Durante su carrera, Ginsburg publicó más de 100 artículos y tres libros sobre diversos temas de la informática teórica.
Biografía
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 con 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 asistente de matemáticas en la Universidad de Miami en Florida. Dirigió su atención por completo a la informática en 1955, cuando se mudó a California para trabajar para Northrop Corporation . Siguió esto con 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: 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 la COSUDE cuando un joven Jeff Ullman pasó un verano trabajando para Ginsburg, aprendiendo tanto la teoría formal del lenguaje como un amplio enfoque de la investigación en la teoría de la informática. Al Aho le dio crédito al verano de Ullman con Ginsburg por haber sido muy influyente en la carrera de Aho en Ciencias de la Computación. En una entrevista, Aho recordó que había poca informática en Princeton mientras estudiaba su doctorado. Sin embargo, después de que Ullman regresó de su verano con Ginsburg, declaró que Ullman "esencialmente nos enseñó a Hopcroft , ya mí, la teoría del lenguaje formal". [4]
Ginsburg se unió 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. Se le otorgó una beca Guggenheim en 1974 y pasó el año recorriendo el mundo, dando conferencias sobre las áreas de la informática teórica que tenía. ayudó a crear. Ginsburg fue nombrado el primer profesor Fletcher Jones de Ciencias de la Computación en la USC en 1978, una silla 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 USC en la década de 1980, 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 motriz en la conferencia en la década de 1990. Fue honrado con una sesión sorpresa en los PODS de 1992 con motivo de su 64 cumpleaños. Se creó un festschrift editado por Jeff Ullman en su honor 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 informática en la USC. Pasó sus últimos años con una salud deteriorada 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. Aquellos que se beneficiaron de la tutoría de Ginsburg, que no eran también sus estudiantes de doctorado, fueron: Jonathan Goldstine , Sheila Greibach , Michael A. Harrison , Richard Hull y Jeff Ullman .
Contribuciones profesionales
Los primeros trabajos de Ginsburg se concentraron en la teoría de los autómatas . En 1958, demostró que la minimización del circuito " no importa " 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 del cambio a una dirección más teórica. Este trabajo culminó con la publicación de un libro sobre las matemáticas de las máquinas en 1962. [7]
Ginsburg centró su atención en la teoría del lenguaje formal en la década de 1960. Estudió gramáticas libres de contexto y publicó una visión general muy 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 influyera en la investigación del lenguaje de programación . Los resultados de Ginsburg sobre gramáticas libres de contexto y aceptadores de empuje hacia abajo se consideran algunos de los más profundos y hermosos de la zona. Siguen siendo herramientas estándar para muchos informáticos que trabajan en las áreas de lenguajes formales y autómatas. [3] Muchos de sus artículos en este momento fueron coautores con otros destacados investigadores 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 trabajos examinaron las relaciones entre los sistemas basados en la gramática, los sistemas basados en los aceptadores y las caracterizaciones algebraicas de las familias de idiomas. 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] historias de objeto, [17] historias de hoja de cálculo, [18] de registro de datos , [19] y los datos de la reestructuración. [20]
Ver también
- Lista de pioneros en informática
Referencias
- ^ Urquhart, Alasdair (2009), "Emil Post", en Gabbay, Dov M .; Woods, John (eds.), Logic from Russell to Church , Handbook of the History of Logic, 5 , Holanda Septentrional, ISBN 978-0-444-51620-6
- ^ Ginsburg, Seymour (1961), "Teoría de las máquinas abstractas", Commun. ACM , 4 (4): 195, doi : 10.1145 / 355578.366521 , S2CID 5473619
- ^ a b c d Abiteboul, S .; Hull, R .; Vianu, V. (marzo de 2005), "In memory of Seymour Ginsburg, 1928-2004", ACM SIGMOD Record , 34 (1): 5, doi : 10.1145 / 1058150.1058152 , S2CID 11825012
- ^ Una entrevista de Al Aho por el profesor MS Mahoney
- ^ Jeff Ullman, ed. (1992), A Seymour Ginsburg con motivo de sucumpleaños , Estudios Teóricos en Informática, Prensa Académica, ISBN 978-0-12-708240-0
- ^ Ginsburg, Seymour (1959), "On the Reduction of Superfluous States in a Sequential Machine", J. ACM , 6 (2): 259-282, doi : 10.1145 / 320964.320983 , S2CID 10118067
- ^ Ginsburg, Seymour (1962), Introducción a la teoría de la máquina matemática , Addison Wesley
- ^ Ginsburg, Seymour (1966), La teoría matemática de los lenguajes libres de contexto , Nueva York, San Francisco, St. Louis, Toronto, Londres, Sydney: McGraw-Hill
- ^ Ginsburg, Seymour; Rice, H. Gordon (1962), "Two Families of Languages Related to ALGOL", J. ACM , 9 (3): 350–371, doi : 10.1145 / 321127.321132 , S2CID 16718187
- ^ Ginsburg, Seymour; Greibach, Sheila A. (1967), "Familias abstractas de lenguajes", FOCS : 128-139
- ^ Ginsburg, Seymour (1975), 'Propiedades teóricas algebraicas y autómatas de los lenguajes formales , Holanda Septentrional, ISBN 978-0-7204-2506-2
- ^ Gabrielian, Armen; Ginsburg, Seymour (1974), "Grammar Schemata", J. ACM , 21 (2): 213–226, doi : 10.1145 / 321812.321817 , S2CID 16501933
- ^ Cremers, Armin B .; Ginsburg, Seymour (1974), Jacques Loeckx (ed.), "Formas gramaticales libres de contexto", Autómatas, lenguajes y programación, 2do Coloquio, Universidad de Saarbrücken, 29 de julio - 2 de agosto de 1974, Actas , Notas de conferencia en Ciencias de la Computación , Springer, 14 años , ISBN 978-3-540-06841-9
- ^ Ginsburg, Seymour (1977), "Un estudio de las formas gramaticales - 1977", Acta Cybernetica , 3 : 269-280
- ^ Ginsburg, Seymour; Hull, Richard (1981), "Caracterización de la dependencia funcional y bases de datos de forma normal de Boyce-Codd", Taller XP2 sobre teoría de bases de datos relacionales
- ^ Ginsburg, Seymour; Zaiddan, Sami Mohammed (1982), "Propiedades de las familias de dependencia funcional", J. ACM , 29 (3): 678–698, doi : 10.1145 / 322326.322331 , S2CID 15675086
- ^ Ginsburg, Seymour; Tanaka, Katsumi (1986), "Secuencias de tuplas de cómputo e historias de objetos", ACM Trans. Sistema de base de datos , 11 (2): 186–212, doi : 10.1145 / 5922.5924 , S2CID 18924219
- ^ Ginsburg, Seymour; Kurtzman, Stephen (1988), Marc Gyssens; Jan Paredaens; Dirk Van Gucht (eds.), "Object-History and Spreadsheet P-Simulation", ICDT'88, 2nd International Conference on Database Theory, Brujas, Bélgica, 31 de agosto - 2 de septiembre de 1988, Actas , Notas de conferencias en Ciencias de la Computación, Springer, 326 : 383–395, doi : 10.1007 / 3-540-50171-1_25 , ISBN 978-3-540-50171-8
- ^ Dong, Guozhu; Ginsburg, Seymour (1990), "Sobre la descomposición de asignaciones de programas de registro de datos", Theor. Computación. Sci. , 76 (1): 143–177, doi : 10.1016 / 0304-3975 (90) 90015-A
- ^ Ginsburg, Seymour; Shu, Nan C .; Simovici, Dan A. (1999), "Reestructuración automática de datos", Journal of Universal Computer Science , 5 (4): 243-299
enlaces externos
- Seymour Ginsburg en el servidor de bibliografía DBLP
- Seymour Ginsburg en el Proyecto de genealogía matemática