stringtranslate.com

Сеймур Гинзбург

Сеймур Гинзбург (12 декабря 1927 г. – 5 декабря 2004 г.) был американским пионером теории автоматов , теории формального языка и теории баз данных в частности; и компьютерной науки в целом. Его работа оказала влияние на отделение теоретической компьютерной науки от дисциплин математики и электротехники.

За свою карьеру Гинзбург опубликовал более 100 статей и три книги по различным темам теоретической информатики.

Биография

Сеймур Гинзбург получил степень бакалавра в Городском колледже Нью-Йорка в 1948 году, где вместе с однокурсником Мартином Дэвисом он посещал занятия по математике для отличников, которые вел Эмиль Пост . [1] Он получил степень доктора философии по математике в Мичиганском университете в 1952 году, обучаясь у Бена Душника .

Профессиональная карьера Гинзбурга началась в 1951 году, когда он принял должность доцента математики в Университете Майами в Корал-Гейблс, Флорида . Он полностью сосредоточился на компьютерных науках в 1955 году, когда переехал в Калифорнию, чтобы работать в Northrop Corporation . Затем он занимал должности в National Cash Register Corporation , Hughes Aircraft и System Development Corporation .

В SDC Гинзбург сначала сосредоточился на теории абстрактных машин. [2] Впоследствии он сформировал и возглавил исследовательский проект, посвященный формальной теории языка и основам компьютерных наук. В состав исследовательской группы входили: Шейла Грейбах , Майкл А. Харрисон , Джин Роуз, Эд Спаниер и Джо Уллиан. Работа, которая вышла из этой группы, отличала теорию компьютерных наук от других областей, поставив Гинзбурга в центр того, что стало теоретическим сообществом компьютерных наук. [3]

Именно в годы SDC молодой Джефф Ульман провел одно лето, работая на Гинзбурга, изучая как формальную теорию языка, так и широкий подход к исследованиям в теории компьютерных наук. Аль Ахо считал, что лето Ульмана с Гинзбургом оказало большое влияние на карьеру Ахо в области компьютерных наук. В интервью Ахо вспомнил, что в Принстонском университете было мало компьютерных наук , когда он учился на доктора философии . Однако после того, как Ульман вернулся с лета с Гинзбургом, Ахо заявил, что Ульман «по сути учил Хопкрофта и меня формальной теории языка». [4]

Гинзбург присоединился к факультету Университета Южной Калифорнии в 1966 году, где он помог основать кафедру компьютерных наук в 1968 году. Он был удостоен стипендии Гуггенхайма в 1974 году и провел год, путешествуя по миру, читая лекции по областям теоретической компьютерной науки, которые он помог создать. Гинзбург был назначен первым профессором компьютерных наук имени Флетчера Джонса в USC в 1978 году, и занимал эту кафедру до выхода на пенсию в 1999 году. Он продолжал свою работу над формальной теорией языка и автоматами в течение 1970-х годов.

В 1980-х годах в USC Гинзбург создал исследовательскую группу, посвященную теории баз данных . Он организовал первый PODS ( симпозиум по принципам систем баз данных ) в Марина-дель-Рей в 1982 году и был движущей силой конференции в 1990-х годах. Он был удостоен неожиданной сессии на PODS 1992 года по случаю своего 64-го дня рождения. В его честь был создан сборник статей под редакцией Джеффа Ульмана по этому случаю. [5]

Карьера Гинзбурга внезапно оборвалась в 1999 году, когда у него диагностировали начало болезни Альцгеймера . Он ушел из активной преподавательской деятельности и стал почетным профессором компьютерных наук в USC. Он провел последние годы жизни в состоянии ухудшения здоровья, пока не умер 5 декабря 2004 года.

Гинзбурга с теплотой вспоминали в мемориале, опубликованном в ACM SIGMOD Record [3] в 2005 году. Помимо его вклада в теорию компьютерных наук, его помнили за ясность фокуса, которую он привнес в исследования, и серьезность, с которой он относился к своей роли консультанта аспирантов. Его также помнили за его щедрую поддержку молодых исследователей. Среди тех, кто извлек пользу из наставничества Гинзбурга, но не был его аспирантом, были: Джонатан Голдстайн, Шейла Грейбах , Майкл А. Харрисон , Ричард Халл и Джефф Ульман .

Профессиональные вклады

Ранние работы Гинзбурга были сосредоточены на теории автоматов . В 1958 году он доказал, что минимизация схемы « безразлично » не обязательно дает минимальный результат. [6] Его работа в теории автоматов привела сообщество теории коммутации в более теоретическое направление. Эта работа завершилась публикацией книги по математике машин в 1962 году. [7]

Гинзбург обратил свое внимание на формальную теорию языка в 1960-х годах. Он изучал контекстно-свободные грамматики и опубликовал известный всеобъемлющий обзор контекстно-свободных языков в 1966 году. [8] Гинзбург был первым, кто заметил связь между контекстно-свободными языками и языками типа « АЛГОЛ ». [9] Это привело область формальной теории языка к исследованию языков программирования . Результаты Гинзбурга по контекстно-свободным грамматикам и приемникам push-down считаются одними из самых глубоких и красивых в этой области. Они остаются стандартными инструментами для многих ученых-компьютерщиков, работающих в области формальных языков и автоматов. [3] Многие из его статей того времени были написаны в соавторстве с другими выдающимися исследователями формальных языков, включая Шейлу Грейбах и Майкла А. Харрисона .

Унификация различных взглядов на формальные системы была постоянной темой в работах Гинзбурга. [3] В формальной теории языка его статьи исследовали отношения между системами, основанными на грамматике, системами, основанными на акцепторах, и алгебраическими характеристиками семейств языков. Кульминацией этой работы стало создание одного из самых глубоких разделов компьютерных наук , абстрактных семейств языков , в сотрудничестве с Шейлой Грейбах в 1967 году. [10] [11]

В 1974 году Гинзбург совместно с Армином Б. Кремерсом разработал теорию грамматических форм. [12] [13] [14]

В 1980-х годах Гинзбург стал одним из первых пионеров в области теории баз данных . Он продолжал работать в этой области до выхода на пенсию. Его профессиональный вклад охватывал такие разнообразные темы, как функциональная зависимость , [15] [16] истории объектов, [17] истории электронных таблиц, [18] Datalog , [19] и реструктуризация данных. [20]

Смотрите также

Ссылки

  1. ^ Урквхарт, Аласдер (2009), «Эмиль Пост», в Габби, Дов М.; Вудс, Джон (ред.), Логика от Рассела до Черча , Справочник по истории логики, т. 5, Северная Голландия, ISBN 978-0-444-51620-6
  2. ^ Гинзбург, Сеймур (1961), «Теория абстрактных машин», Commun. ACM , 4 (4): 195, doi :10.1145/355578.366521, S2CID  5473619
  3. ^ abcd Abiteboul, S. ; Hull, R.; Vianu, V. (март 2005 г.), «В память о Сеймуре Гинзбурге, 1928-2004», ACM SIGMOD Record , 34 (1): 5, doi : 10.1145/1058150.1058152, S2CID  11825012
  4. ^ Интервью Аль Ахо с профессором М.С. Махони
  5. ^ Джефф Ульман, ред. (1992), Сеймуру Гинзбургу по случаю его дня рождения , Теоретические исследования в области компьютерных наук, Academic Press, ISBN 978-0-12-708240-0
  6. ^ Гинзбург, Сеймур (1959), «О сокращении избыточных состояний в последовательной машине», J. ACM , 6 (2): 259–282, doi : 10.1145/320964.320983 , S2CID  10118067
  7. ^ Гинзбург, Сеймур (1962), Введение в теорию математических машин , Эддисон Уэсли
  8. ^ Гинзбург, Сеймур (1966), Математическая теория контекстно-свободных языков , Нью-Йорк, Сан-Франциско, Сент-Луис, Торонто, Лондон, Сидней: McGraw-Hill
  9. ^ Гинзбург, Сеймур; Райс, Х. Гордон (1962), «Две семьи языков, родственные АЛГОЛу», J. ACM , 9 (3): 350–371, doi : 10.1145/321127.321132 , S2CID  16718187
  10. ^ Гинзбург, Сеймур; Грейбах, Шейла А. (1967), «Абстрактные семьи языков», FOCS : 128–139
  11. ^ Гинзбург, Сеймур (1975),«Алгебраические и автоматные теоретические свойства формальных языков» , Норт-Холланд, ISBN 978-0-7204-2506-2
  12. ^ Габриэлян, Армен; Гинзбург, Сеймур (1974), «Грамматические схемы», J. ACM , 21 (2): 213–226, doi : 10.1145/321812.321817 , S2CID  16501933
  13. ^ Кремерс, Армин Б.; Гинзбург, Сеймур (1974), Жак Лёккс (ред.), «Контекстно-свободные грамматические формы», Автоматы, Языки и Программирование, 2-й Коллоквиум, Университет Саарбрюккена, 29 июля - 2 августа 1974 г., Труды , Конспект лекций по информатике, 14 , Springer, ISBN 978-3-540-06841-9
  14. ^ Гинзбург, Сеймур (1977), «Обзор грамматических форм - 1977», Acta Cybernetica , 3 : 269–280
  15. ^ Гинзбург, Сеймур; Халл, Ричард (1981), «Характеристика функциональной зависимости и баз данных в нормальной форме Бойса-Кодда», XP2 Workshop on Relational Database Theory
  16. ^ Гинзбург, Сеймур; Заиддан, Сами Мохаммед (1982), «Свойства семейств функциональной зависимости», J. ACM , 29 (3): 678–698, doi : 10.1145/322326.322331 , S2CID  15675086
  17. ^ Гинзбург, Сеймур; Танака, Кацуми (1986), «Вычислительные последовательности кортежей и истории объектов», ACM Trans. Database Syst. , 11 (2): 186–212, doi : 10.1145/5922.5924 , S2CID  18924219
  18. ^ Гинзбург, Сеймур; Курцман, Стивен, «История объектов и p-симуляция электронных таблиц», в Марк Гиссен; Ян Пареданс; Дирк Ван Гухт (ред.), ICDT'88, 2-я Международная конференция по теории баз данных, Брюгге, Бельгия, 31 августа - 2 сентября 1988 г., Труды , Springer, стр. 383–395, doi :10.1007/3-540-50171-1_25, ISBN 978-3-540-50171-8
  19. ^ Дун, Гочжу; Гинзбург, Сеймур (1990), «О декомпозиции отображений программ Datalog», Теор. вычисл. науки , 76 (1): 143–177, doi : 10.1016/0304-3975(90)90015-A
  20. ^ Гинзбург, Сеймур; Шу, Нан С.; Симовичи, Дэн А. (1999), «Автоматическая реструктуризация данных», Журнал универсальной компьютерной науки , 5 (4): 243–299

Внешние ссылки