**Seymour Ginsburg** (1927ko abenduaren 12a - 2004ko abenduaren 5a) estatubatuar aitzindaria izan zen, automata teorian, hizkuntza-teoria formalean eta datu-base teorian, batez ere. Horretaz gain ingeniaritza informatikan ere bai. Bere lanak eragin handia izan zuen zientzia teorikoa, matematika eta ingeniaritza elektriko diziplinetatik bereizten.

Bere ibilbidean zehar, Ginsburgek 100 artikulu eta hiru liburu argitaratu zituen ingeniaritza informatika teorikoko hainbat gairi buruz.

Biografia
---------

Seymour Ginsburgek New Yorkeko City Collegen B.S. saria jaso zuen 1948an, non Martin Davisekin batera Emil Post-ek irakasten zuen matematika klase batean parte hartu zuen. 1952an, Michiganeko Unibertsitatean, matematikan doktoratu zen Ben Dushnikek irakatsita.

Ginsburgen karrera profesionala 1951n hasi zen, Floridako Coral Gableseko Miamiko Unibertsitatean matematika irakasle laguntzaile postua onartu zuenean. 1955ean, Kaliforniara joan zenean Northrop Corporation enpresarentzat lan egitera, ingeniaritza informatikan jarri zuen arreta osoa. Ondoren National Cash Register Corporation, Hughes Aircraft eta System Development Corporationen egin zuen lan.

SDCn, Ginsburg makina abstraktuen teorian kontzentratu zen. Ikerketa taldeko kideak Sheila Greibach, Michael A. Harrison, Gene Rose, Ed Spanier eta Joe Ullian izan ziren. Talde honetatik atera zen lanak ingeniaritza informatikako teoria beste alor batzuetatik bereizi zuen, Ginsburg ingeniaritza informatiko teorikoko erdigunea bihurtuz.

SDCko urteetan, Jeff Ullman gazte batek uda bat eman zuen Ginsburgekin lanean, hizkuntza formalaren teoria ikasten eta ingeniaritza informatikoko teorian ikasten. Al Ahok Ullmanek Ginsburgekin izan zuen udak eragin handia izan zuela dio Ahoren ingeniaritza informatikako ikasketetan. Elkarrizketa batean, Aho gogoratu zen Princeton Unibertsitatean ingeniaritza informatikako arloan informazio txikia zegoela doktoretza ikasten zuen bitartean. Hala ere, Ullman bere udatik Ginsburgekin itzuli ondoren, AHOk "Hopcroft eta niri, hizkuntza teoria formala irakatsi digu Ullmanek" esan zuen.

Ginsburg Kaliforniako hegoaldeko Unibertsitateko fakultatean sartu zen 1966an, eta bertan ingeniaritza informatikoko departamentua ezartzen lagundu zuen 1968an. 1974an Guggenheim Fellowship bat eman zioten eta urtean zehar munduari bira egin zion, ingeniaritza informatiko teorikoaren esparruei buruz hitz egiten. 1978an USCko lehen Fletcher Jones ingeniaritza informatikoko irakasle izendatu zuten, 1999an erretiroa hartu zuen arte. 1970eko hamarkadan hizkuntzaren teoria eta automatekin jarraitu zuen.

1980ko hamarkadan, Ginsburgek datu-baseen teoriari eskainitako ikerketa-taldea sortu zuen. 1982an lehen PODS (Symposium on Principles of Database Systems) antolatu zuen Marina del Reyn, eta 1990eko hamarkadako konferentzian pisu handia izan zen. 1992ko PODS saioan ezusteko bat eman zioten, 64. urtebetetzea zela eta Jeff Ullmanek editatutako festschrift bat sortu zioten.

Ginsburgen karrera 1999an amaitu zen, Alzheimerraren gaitza diagnostikatu ziotenean. Irakaskuntza aktibotik erretiratu zen eta USCko ingeniaritza informatikoko irakasle emeritua bihurtu zen. Bere azken urteak osasuna galtzen pasa zituen 2004ko abenduaren 5ean hil zen arte.

2005ean ACM SIGMOD Record aldizkarian argitaratutako oroigarri batean, Ginsburg maitasunez gogoratu zen. Ingeniaritza informatikoko teoriari egin zizkion ekarpenetatik haratago, ikerketara ekarri zuen fokuaren argitasunagatik gogoratu zen, baita doktoregoko ikasleei emandako aholkuen seriotasunagatik ere. Ikertzaile gazteenei emandako laguntza eskuzabalagatik ere gogoratu zuten. Ginsburg mentore izan zutenak izan zutenak, doktoregoko ikasleak ere ez zirenak, besteak beste, Jonathan Goldstine, Sheila Greibach, Michael A. Harrison, Richard Hull eta Jeff Ullman izan ziren.

Ekarpen profesionalak
---------------------

Ginsburgen lehen lana automata teorian zentratu zen. 1958an frogatu zuen "Don 't care" zirkuitu minimizazioak ez zuela zertan emaitza minimorik eman. Automata teorian egin zuen lanak teoriaren komunitatea norabide teorikoago batera eraman zuen. Lan honek 1962an makinen matematikari buruzko liburu bat argitaratzera eraman zuen.

Ginsburgek hizkuntzaren teoria formalean jarri zuen arreta 1960ko hamarkadan. Gramatika librea ikasi zuen eta 1966an hizkuntza libreen ikuspegi oso ezaguna argitaratu zuen. Ginsburg izan zen hizkuntza libreen eta "ALGOLen" arteko lotura ikusi zuen lehena. Horrek hizkuntzaren teoria formalaren alorra ekarri zuen. Ginsburgen emaitzak gramatika askearen eta oush-down acceptorsetan dituen emaitzak inguru honetako sakonenetako eta ederrenetako batzuk dira. Tresna estandarrak izaten jarraitzen dute hizkuntza formalen eta automatikoen eremuetan lan egiten duten ingeniari informatikari askorentzat. Bere artikulu asko, garai honetan, hizkuntza formaleko beste ikertzaile batzuekin batera eginda zeuden: Sheila Greibach eta Michael A. Harrison, besteak beste.

Sistema formalen ikuspegi desberdinak bateratzea gai etengabea zen Ginsburgen obran. Hizkuntza formalaren teorian, bere artikuluek gramatikan oinarritutako sistemen, konfiguratutako sistemen eta hizkuntza familien karakterizazio aljebraikoen arteko harremanak aztertu zituzten. Lan honen sormena 1967an Sheila Greibachekin elkarlanean sortutako Computer Science (Abstract Family of Languages) delakoaren adar sakonenetako bat sortzea izan zen.

1974an, Ginsburgek, Armin B. Cremersekin batera, Grammar Formen teoria garatu zuen.

1980ko hamarkadan, Ginsburg aitzindari bihurtu zen Database Theory eremuan. Alor honetan lanean jarraitu zuen erretiroa hartu arte. Bere ekarpen profesionalek dependentzia funtzionala, objektuen historiak, espektroaren historiak, Datalog  eta datuen berrantolaketa  gaiak jorratzen zituzten.

Erreferentziak
--------------

1. ↑   Urquhart, Alasdair.  (2009). *Logic from Russell to Church.*  North Holland ISBN 978-0-444-51620-6..
2. ↑   Ginsburg, Seymour.  (1961). *Theory of abstract machines.* .
3. ↑   Abiteboul, S.; Hull, R.; Vianu, V..  (March 2005). *In memory of Seymour Ginsburg, 1928-2004.*   doi:10.1145/1058150.1058152..
4. ↑  An interview of Al Aho by Professor M.S. Mahoney
5. ↑    *To Seymour Ginsburg on the occasion of his {\displaystyle 2^{6}} birthday.*  Academic Press ISBN 978-0-12-708240-0..
6. ↑   Ginsburg, Seymour.  (1959). *On the Reduction of Superfluous States in a Sequential Machine.*   doi:10.1145/320964.320983..
7. ↑   Ginsburg, Seymour.  (1962). *Introduction to Mathematical Machine Theory.*  Addison Wesley.
8. ↑   Ginsburg, Seymour.  (1966). *The Mathematical Theory of Context-free Languages.*  McGraw-Hill.
9. ↑   Ginsburg, Seymour; Rice, H. Gordon.  (1962). *Two Families of Languages Related to ALGOL.*   doi:10.1145/321127.321132..
10. ↑   Ginsburg, Seymour; Greibach, Sheila A..  (1967). *Abstract Families of Languages.* .
11. ↑   Ginsburg, Seymour.  (1975). *'Algebraic and automata theoretic properties of formal languages.*  North-Holland ISBN 978-0-7204-2506-2..
12. ↑   Gabrielian, Armen; Ginsburg, Seymour.  (1974). *Grammar Schemata.*   doi:10.1145/321812.321817..
13. ↑   Cremers, Armin B.; Ginsburg, Seymour.  (1974). *Context-Free Grammar Forms.*  Springer ISBN 978-3-540-06841-9..
14. ↑   Ginsburg, Seymour.  (1977). *A survey of grammar forms - 1977.* .
15. ↑   Ginsburg, Seymour; Hull, Richard.  (1981). *Characterization for Functional Dependency and Boyce-Codd Normal Form Databases.* .
16. ↑   Ginsburg, Seymour; Zaiddan, Sami Mohammed.  (1982). *Properties of functional-dependency families.*   doi:10.1145/322326.322331..
17. ↑   Ginsburg, Seymour; Tanaka, Katsumi.  (1986). *Computation-Tuple Sequences and Object Histories.*   doi:10.1145/5922.5924..
18. ↑   Dong, Guozhu; Ginsburg, Seymour.  (1990). *On the Decomposition of Datalog Program Mappings.*   doi:10.1016/0304-3975(90)90015-A..
19. ↑   Ginsburg, Seymour; Shu, Nan C.; Simovici, Dan A..  (1999). *Automatic Data Restructuring.* .

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q92797
* **Identifikadoreak**
* WorldCat
* VIAF: 18611322
* ISNI: 0000000109580222
* GND: 135955394
* LCCN: n83828971
* NDL: 00440971
* NKC: mzk2013778067
* CiNii: DA01187632
* SNAC: w6m19rr4
* SUDOC: 081902808
* BIBSYS: 90242620
* MGP: 5121

 |

* Wd Datuak: Q92797