Fødsel |
12. desember 1927 Philadelphia , PA, USA |
---|---|
Død | 5. desember 2004 |
Områder | Teoretisk informatikk , språk teori , databaseteori |
Institusjoner | University of Southern California , University of Miami |
Diplom | Ph. D. |
Opplæring | City College of New York , University of Michigan |
Veileder | Ben Dushnik |
PhD studenter | Serge Abiteboul , William Chandler, Timothy Connors, Guozhu Dong, Joseph Giuliano, Donald Kiel, Stephen Kurtzman, George Mager, Gary Miles, David Mizell, Branislav Rovan, Dan Tian, Victor Vianu, X. Sean Wang, Sami Zaiddan |
Kjent for | Formspråk , Abstract språkfamilien , Database teori |
Seymour Ginsburg , født den12. desember 1927 og døde den 5. desember 2004, er en amerikansk datamaskinteoretiker , pioner innen teorien om automata , formelle språk og spesielt algebraiske språk , og databaseteori . Dens historiske innflytelse er viktig i utviklingen av teoretisk informatikk som en disiplin i seg selv, forskjellig fra elektroteknikk.
Seymour Ginsburg fått en B. Sc. Fra den City College of New York i 1948, hvor han deltok, sammen med Martin Davis , et avansert kurs ( “ laud klasse ” ) gitt av Emil Post . Han oppnådde en doktorgrad i matematikk fra University of Michigan i 1953, under veiledning av Ben Dushnik, med en avhandling med tittelen " Order Types and Similarity Transformations " .
Ginsburg jobbet fra 1951 til 1955 som adjunkt i matematikk ved University of Miami i Florida. Hans interesser henvendte seg til informatikk da han begynte i Northrop Corporation i California i 1955 . Deretter hadde han jobber i NCR Corporation , Hughes Aircraft and System Development Corporation (en) (TCS). I 1966 ble han professor ved University of Southern California . Ginsburg ble utnevnt til professor i informatikk ved Fletcher Jones ved University of Southern California i 1978, en stol han hadde til han gikk av med pensjon i 1999. På den tiden fikk han diagnosen Alzheimers sykdom . Han slutter å undervise, og blir professor emeritus i informatikk.
Fortsatt ved SDC jobbet Ginsburg først med teorien om abstrakte maskiner . Ginsburgs første bidrag gjelder teorien om endelig automat , inkludert minimering. Hans arbeid fødte en første bok: Introduksjon til matematisk maskinteori i 1962.
Deretter viet han seg til teorien om formelle språk . Han studerte grammatikk kontekstfrie og kontekstfrie språk . Ginsburg bemerker at det er en sammenheng mellom algebraiske språk og det som da ble kalt " ALGOL- lignende" språk . Resultatene fra Ginsburg og hans medforfattere om deterministiske språk, avgrensede språk, beslutningsegenskaper anses å være blant de viktigste og dypeste resultatene av teorien. Gruppen forskere den utgjør inkluderer Sheila Greibach , Michael A. Harrison , Gene Rose, Edwin Spanier og Joe Ullian. Ginsburg okkuperte i denne gruppen, men mer generelt innen teoretisk informatikk på den tiden en ledende rolle. I forskning i teorien om ikke-kontekstuelle språk deltar " kontekstfrie språk " blant andre Jonathan Goldstine, Harrison, John Hopcroft , Spanier. Mange verk fra denne perioden er skrevet i samarbeid med disse forskerne.
Hans bok The Mathematical Theory of Context-free Languages ble utgitt i 1966. Det var veldig lenge en referansebok om teorien om algebraiske språk.
Foreningen av de forskjellige aspektene av formelle systemer har vært et konstant tema i Ginsburg. I formell språkteori fokuserer artiklene hans i denne retningen på koblingen mellom grammatikksystemer, akseptorsystemer og algebraisk karakterisering av språkfamilier. Dette resulterte i konseptet med en abstrakt språkfamilie , hvor den første omtalingen fremgår av en felles artikkel med Sheila Greibach i 1967. Hele teorien er eksponert i boken Algebraic and automata teoretic properties of formal languages publisert i 1975. I samme ånd, Ginsburg utvikler, med Armin B. Cremers (en) teorien om " grammatikkformer " .
Ginsburg skaffet seg et Guggenheim-stipend i 1974 og benyttet anledningen til å holde foredrag over hele verden om teorien han skapte.
Tidlig på 1980-tallet endret Ginsburg forskningstemaet: han vendte seg til databaser. Han ble en pioner innen databaseteori , et område der han arbeidet frem til pensjonisttilværelsen. Han samler en gruppe forskere rundt seg om denne teorien. Hans bidrag gjelder funksjonell avhengighet , objekthistorier, regnearkhistorier, datalog og datarestrukturering. I 1982 organiserte han den første PODS-konferansen ( Symposium on Principles of Database Systems (en) ) i Marina del Rey . I 1992 ble en spesiell sesjon av konferansen viet for å feire 64 - årsjubileet med en Festschrift redigert av Jeffrey Ullman .
Gisnburg er forfatter av mange artikler, og av tre bøker: