Seymour Ginsburg - Seymour Ginsburg

Seymour Ginsburg
narozený(1927-12-12)12. prosince 1927
Zemřel5. prosince 2004(2004-12-05) (ve věku 76)
NárodnostNÁS.
Alma materCity College of New York,
Michiganská univerzita
Známý jakoTeorie formálního jazyka,
Abstraktní rodiny jazyků,
Databáze teorie,
Historie objektů
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Southern California,
University of Miami
Doktorský poradceBen Dushnik

Seymour Ginsburg (12.12.1927 - 5.12.2004) byl americký průkopník automaty teorie, formální jazyk teorie adatabáze zejména teorie; a počítačová věda, obecně. Jeho práce měla vliv na odlišení teoretické informatiky od oborů matematiky a elektrotechniky.

Během své kariéry Ginsburg publikoval více než 100 článků a tři knihy o různých tématech teoretické informatiky.

Životopis

Seymour Ginsburg získal titul BS z City College of New York v roce 1948, kde spolu se spolužákem Martin Davis navštěvoval třídu matematiky s vyznamenáním, kterou vyučoval Emil Post.[1] Získal titul Ph.D. v Matematika z Michiganská univerzita v roce 1952 studoval pod Ben Dushnik.

Ginsburgova profesionální kariéra začala v roce 1951, kdy přijal místo odborného asistenta matematiky na University of Miami na Floridě. Obrátil pozornost zcela k Počítačová věda v roce 1955, kdy se přestěhoval do Kalifornie, aby pracoval pro Northrop Corporation. Následoval to pozicemi u Národní pokladní společnost, Hughes Aircraft, a System Development Corporation.

Na SDC se Ginsburg nejprve soustředil na teorii abstraktních strojů.[2] Následně vytvořil a vedl výzkumný projekt věnovaný teorii formálního jazyka a základům informatiky. Členy výzkumné skupiny byli: Sheila Greibachová, Michael A. Harrison, Gene Rose, Ed Spanier, a Joe Ullian. Práce, která vyšla z této skupiny, odlišila teorii informatiky od jiných oborů a postavila Ginsburg do centra dřívější teoretické komunity informatiky.[3]

Během let SDC byl mladý Jeff Ullman strávil jedno léto prací pro Ginsburg, učil se jak formální teorii jazyků, tak široký přístup k výzkumu v teorii informatiky. Al Aho připsal Ullmanovo léto Ginsburgovi jako velmi vlivného na Ahovu kariéru v informatice. V rozhovoru Aho připomněl, že v době, kdy studoval na doktorát, bylo v Princetonu málo informatiky. Avšak poté, co se Ullman vrátil z léta s Ginsburgem, uvedl, že Ullman „v podstatě učil Hopcroft a já, formální jazyková teorie “.[4]

Ginsburg se připojil k fakultě University of Southern California v roce 1966, kde pomáhal založit Počítačová věda oddělení v roce 1968. Byl oceněn a Guggenheimovo společenství v roce 1974 strávil rok putováním po světě a přednášel o oblastech teoretické informatiky, které pomohl vytvořit. Ginsburg byl jmenován prvním profesorem informatiky Fletcher Jones na USC v roce 1978, kterou zastával až do svého odchodu do důchodu v roce 1999. V práci na formální teorii jazyků a automatech pokračoval až do 70. let.

Na USC v 80. letech vytvořil Ginsburg výzkumnou skupinu věnovanou Databáze teorie. Zorganizoval první PODS (Symposium on Principles of Database Systems ) v Marina del Rey v roce 1982 a byl hybnou silou na konferenci do 90. let. Byl oceněn překvapivým sezením v PODS 1992 u příležitosti jeho 64. narozenin. Festschrift upravil Jeff Ullman byl pro tuto příležitost vytvořen na jeho počest.[5]

Ginsburgova kariéra náhle skončila v roce 1999, kdy mu byl diagnostikován nástup Alzheimerova choroba. Odešel z aktivní výuky a stal se emeritním profesorem informatiky na USC. Poslední roky strávil na zhoršujícím se zdraví, dokud nezemřel 5. prosince 2004.

Ginsburg byl s láskou vzpomínán v památníku zveřejněném v ACM SIGMOD Záznam[3] v roce 2005. Kromě svých příspěvků k teorii výpočetní techniky si ho pamatovali pro jasnost zaměření, kterou přinesl výzkumu, a vážnost, s níž převzal svou roli poradce doktorandů. On byl také připomínán pro jeho velkorysou podporu mladších vědců. Mezi ty, kteří měli prospěch z mentorství Ginsburga a nebyli také jeho doktorandy, patřili: Jonathan Goldstine, Sheila Greibachová, Michael A. Harrison, Richard Hull, a Jeff Ullman.

Odborné příspěvky

Ginsburgova raná práce se soustředila na teorie automatů. V roce 1958 dokázal, že „je mi to jedno "minimalizace obvodu nemusí nutně přinést minimální výsledek.[6] Jeho práce v teorii automatů vedla komunitu teorie přepínání do více teoretického směru. Tato práce vyvrcholila vydáním knihy o matematice strojů v roce 1962.[7]

Ginsburg obrátil svou pozornost k teorie formálního jazyka v šedesátých letech. Studoval bezkontextové gramatiky a v roce 1966 zveřejnil známý komplexní přehled bezkontextových jazyků.[8] Ginsburg byl první, kdo sledoval souvislost mezi bezkontextové jazyky a "ALGOL "jako" jazyky.[9] To přineslo pole teorie formálního jazyka vydržet programovací jazyk výzkum. Výsledky Ginsburga o bezkontextových gramatikách a akceptorech push-down jsou považovány za jedny z nejhlubších a nejkrásnějších v této oblasti. Zůstávají standardním nástrojem pro mnoho počítačových vědců pracujících v oblastech formálních jazyků a automatů.[3] Mnoho z jeho prací v této době bylo spoluautorem s dalšími významnými výzkumníky formálního jazyka, včetně Sheila Greibachová, a Michael A. Harrison.

Sjednocení různých pohledů na formální systémy bylo v Ginsburgově práci neustálým tématem.[3] Ve formální teorii jazyků jeho práce zkoumaly vztahy mezi gramatickými systémy, akceptorovými systémy a algebraickými charakterizacemi rodin jazyků. Vyvrcholením této práce bylo vytvoření jedné z nejhlubších větví města Počítačová věda, Abstraktní rodiny jazyků, ve spolupráci s Sheila Greibachová v roce 1967.[10][11]

V roce 1974, Ginsburg, spolu s Armin B. Cremers, vyvinul teorii gramatických forem.[12][13][14]

V 80. letech se Ginsburg stal časným průkopníkem v oblasti Databáze Teorie. V této oblasti pracoval až do svého odchodu do důchodu. Jeho profesionální příspěvky pokrývaly předměty tak různorodé jako Funkční závislost,[15][16] objektové historie,[17] historie tabulek,[18] Datalog,[19] a restrukturalizace dat.[20]

Viz také

Reference

  1. ^ Urquhart, Alasdair (2009), „Emil Post“, Gabbay, Dov M .; Woods, John (eds.), Logika od Russella po církevPříručka dějin logiky, 5, Severní Holandsko, ISBN  978-0-444-51620-6
  2. ^ Ginsburg, Seymour (1961), „Teorie abstraktních strojů“, Commun. ACM, 4 (4): 195, doi:10.1145/355578.366521
  3. ^ A b C d Abiteboul, S.; Hull, R .; Vianu, V. (Březen 2005), „Na památku Seymoura Ginsburga, 1928-2004“, Záznam ACM SIGMOD, 34 (1): 5, doi:10.1145/1058150.1058152
  4. ^ Rozhovor Al Aho profesora M.S. Mahoney
  5. ^ Jeff Ullman, vyd. (1992), Seymourovi Ginsburgovi u příležitosti jeho narozeniny, Teoretická studia v informatice, Akademický tisk, ISBN  978-0-12-708240-0
  6. ^ Ginsburg, Seymour (1959), „O redukci zbytečných států v sekvenčním stroji“, J. ACM, 6 (2): 259–282, doi:10.1145/320964.320983
  7. ^ Ginsburg, Seymour (1962), Úvod do teorie matematických strojůAddison Wesley
  8. ^ Ginsburg, Seymour (1966), Matematická teorie bezkontextových jazyků, New York, San Francisco, St. Louis, Toronto, Londýn, Sydney: McGraw-Hill
  9. ^ Ginsburg, Seymour; Rice, H. Gordon (1962), „Dvě rodiny jazyků souvisejících s ALGOL“, J. ACM, 9 (3): 350–371, doi:10.1145/321127.321132
  10. ^ Ginsburg, Seymour; Greibach, Sheila A. (1967), „Abstraktní rodiny jazyků“, FOCS: 128–139
  11. ^ Ginsburg, Seymour (1975), „Algebraické a automatové teoretické vlastnosti formálních jazyků, Severní Holandsko, ISBN  978-0-7204-2506-2
  12. ^ Gabrielian, Armen; Ginsburg, Seymour (1974), „Grammar Schemata“, J. ACM, 21 (2): 213–226, doi:10.1145/321812.321817
  13. ^ Cremers, Armin B .; Ginsburg, Seymour (1974), Jacques Loeckx (ed.), „Context-Free Grammar Forms“, Automaty, jazyky a programování, 2. kolokvium, University of Saarbrücken, 29. července - 2. srpna 1974, sborník, Přednášky z informatiky, Springer, 14, ISBN  978-3-540-06841-9
  14. ^ Ginsburg, Seymour (1977), „Přehled gramatických forem - 1977“, Acta Cybernetica, 3: 269–280
  15. ^ Ginsburg, Seymour; Hull, Richard (1981), „Charakterizace pro funkční závislost a databáze Boyce-Codd v normální formě“, Workshop XP2 o teorii relačních databází
  16. ^ Ginsburg, Seymour; Zaiddan, Sami Mohammed (1982), "Vlastnosti rodin funkčně závislých", J. ACM, 29 (3): 678–698, doi:10.1145/322326.322331
  17. ^ Ginsburg, Seymour; Tanaka, Katsumi (1986), „Výpočtové n-tice a historie objektů“, ACM Trans. Database Syst., 11 (2): 186–212, doi:10.1145/5922.5924
  18. ^ Ginsburg, Seymour; Kurtzman, Stephen (1988), Marc Gyssens; Jan Paredaens; Dirk Van Gucht (eds.), "Object-History and Spreadsheet P-Simulation", ICDT'88, 2. mezinárodní konference o teorii databáze, Bruggy, Belgie, 31. srpna - 2. září 1988, sborník, Přednášky z informatiky, Springer, 326: 383–395, ISBN  978-3-540-50171-8
  19. ^ Dong, Guozhu; Ginsburg, Seymour (1990), „O rozkladu mapování programů Datalog“, Teor. Comput. Sci., 76 (1): 143–177, doi:10.1016 / 0304-3975 (90) 90015-A
  20. ^ Ginsburg, Seymour; Shu, Nan C .; Simovici, Dan A. (1999), „Automatická restrukturalizace dat“, Journal of Universal Computer Science, 5 (4): 243–299

externí odkazy