Сеймур Гинзбург
Сеймур Гинзбург | |
|---|---|
| Рожденный | 12 декабря 1927 г. |
| Умер | 5 декабря 2004 г. (76 лет) |
| Национальность | Американский |
| Альма-матер | Городской колледж Нью-Йорка , университет Мичигана |
| Известный | Формальная теория языка , Абстрактные семейства языков , Теория баз данных , Истории объектов |
| Супруг | Элеонора Рене Шор |
| Дети | Дэвид Гинзбург, Дайан Гинзбург |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Южной Калифорнии , Университет Майами |
| Докторантура | Бен Душник |
Сеймур Гинзбург (12 декабря 1927 – 5 декабря 2004) был американским пионером теории автоматов , теории формального языка и теория баз данных , в частности; и информатика в целом. Его работа сыграла важную роль в отличии теоретической информатики от дисциплин математики и электротехники.
За свою карьеру Гинзбург опубликовал более 100 статей и три книги по различным темам теоретической информатики.
Биография [ править ]
Сеймур Гинзбург получил степень бакалавра наук в Городском колледже Нью-Йорка в 1948 году, где вместе с однокурсником Мартином Дэвисом он посещал класс математики с отличием, который вел Эмиль Пост . [1] Он получил докторскую степень. Получил степень бакалавра математики в Мичиганском университете в 1952 году, учился у Бена Душника .
Профессиональная карьера Гинзбурга началась в 1951 году, когда он принял должность доцента математики в Университете Майами в Корал-Гейблс, Флорида . Он полностью сосредоточил свое внимание на информатике в 1955 году, когда переехал в Калифорнию, чтобы работать в корпорации Northrop . Затем он занял должности в Национальной кассовой корпорации , Hughes Aircraft и System Development Corporation .
В SDC Гинзбург сначала сосредоточился на теории абстрактных машин. [2] Впоследствии он сформировал и возглавил исследовательский проект, посвященный теории формального языка и основам информатики. В состав исследовательской группы входили: Шейла Грейбах , Майкл А. Харрисон , Джин Роуз, Эд Спэньер и Джо Уллиан . Работы этой группы выделили теорию информатики среди других областей, поставив Гинзбурга в центр того, что впоследствии стало сообществом теоретических компьютерных наук. [3]
Именно в годы работы в SDC молодой Джефф Уллман провел одно лето, работая на Гинзбурга, изучая как теорию формального языка, так и широкий подход к исследованиям в области теории информатики. Аль Ахо считает, что лето Ульмана с Гинзбургом оказало большое влияние на карьеру Ахо в области компьютерных наук. В интервью Ахо вспоминал, что в , в Принстонском университете Принстонском университете , когда он учился на докторскую диссертацию было мало компьютерных наук . Однако после того, как Ульман вернулся после лета с Гинзбургом, Ахо заявил, что Ульман «по сути преподавал Хопкрофту и мне формальную теорию языка». [4]
Гинзбург поступил на факультет Университета Южной Калифорнии в 1966 году, где он помог создать факультет компьютерных наук в 1968 году. В 1974 году он получил стипендию Гуггенхайма и провел год, путешествуя по миру, читая лекции по областям теоретической информатики, которые он изучал. помог создать. Гинзбург был назван первым Флетчера Джонса профессором информатики в Университете Южной Калифорнии в 1978 году и занимал эту должность до выхода на пенсию в 1999 году. Он продолжал свою работу над теорией формального языка и автоматами на протяжении 1970-х годов.
В 1980-х годах в Университете Южной Калифорнии Гинзбург создал исследовательскую группу, занимающуюся теорией баз данных . Он организовал первый PODS ( симпозиум по принципам систем баз данных ) в Марина-дель-Рей в 1982 году и был движущей силой конференции в 1990-е годы. Он был удостоен неожиданной сессии на PODS 1992 года по случаю своего 64-летия. festschrift под редакцией Джеффа Уллмана . По этому случаю в его честь был создан [5]
Карьера Гинзбурга внезапно оборвалась в 1999 году, когда у него диагностировали начало болезни Альцгеймера . Он ушел из активной преподавательской деятельности и стал почетным профессором компьютерных наук в Университете Южной Калифорнии. Последние годы жизни он провел в состоянии ухудшения здоровья, пока не умер 5 декабря 2004 года.
О Гинзбурге с любовью вспоминали в мемориале, опубликованном в ACM SIGMOD Record. [3] в 2005 году. Помимо его вклада в теорию информатики, его запомнили ясностью, которую он придавал исследованиям, и серьезностью, с которой он относился к своей роли консультанта аспирантов. Его также помнили за щедрую поддержку молодых исследователей. Среди тех, кто получил пользу от наставничества Гинзбурга, но не были его аспирантами, были: Джонатан Голдстайн , Шейла Грейбах , Майкл А. Харрисон , Ричард Халл и Джефф Уллман .
Профессиональный вклад
Ранние работы Гинзбурга были сосредоточены на теории автоматов . В 1958 году он доказал, что « беззаботная » минимизация схемы не обязательно дает минимальный результат. [6] Его работа в области теории автоматов привела сообщество теории переключения в более теоретическое направление. Кульминацией этой работы стала публикация книги по математике машин в 1962 году. [7]
Гинзбург обратил свое внимание на теорию формального языка в 1960-х годах. Он изучал контекстно-свободные грамматики и в 1966 году опубликовал известный всеобъемлющий обзор контекстно-свободных языков. [8] Гинзбург был первым, кто заметил связь между контекстно-свободными языками и « алголоподобными » языками. [9] Это привело к тому, что область теории формального языка стала влиять на исследования языков программирования . Результаты Гинзбурга по контекстно-свободным грамматикам и акцепторам с опусканием вниз считаются одними из самых глубоких и красивых в этой области. Они остаются стандартными инструментами для многих ученых-компьютерщиков, работающих в области формальных языков и автоматов. [3] Многие из его статей в это время были написаны в соавторстве с другими видными исследователями формального языка, включая Шейлу Грейбах и Майкла А. Харрисона .
Объединение различных взглядов на формальные системы было постоянной темой творчества Гинзбурга. [3] В формальной теории языка в его статьях исследовались отношения между системами, основанными на грамматике, системами, основанными на акцепторах, и алгебраическими характеристиками семейств языков. Кульминацией этой работы стало создание одной из самых глубоких ветвей информатики — Абстрактных семейств языков . в сотрудничестве с Шейлой Грейбах в 1967 году [10] [11]
В 1974 году Гинзбург вместе с Армином Б. Кремерсом разработал теорию грамматических форм. [12] [13] [14]
В 1980-х годах Гинзбург стал пионером в области теории баз данных . Он продолжал работать в этой области до выхода на пенсию. Его профессиональный вклад охватывал такие разнообразные темы, как функциональная зависимость , [15] [16] истории объектов, [17] таблицы истории, [18] специалист в области информатики , [19] и реструктуризация данных. [20]
См. также [ править ]
Ссылки [ править ]
- ^ Уркхарт, Аласдер (2009), «Эмиль Пост», в Габбае, Дов М.; Вудс, Джон (ред.), Логика от Рассела до Черча , Справочник по истории логики, том. 5, Северная Голландия, ISBN 978-0-444-51620-6
- ^ Гинзбург, Сеймур (1961), «Теория абстрактных машин», Сообщ. ACM , 4 (4): 195, doi : 10.1145/355578.366521 , S2CID 5473619
- ^ Перейти обратно: а б с д Абитбул, С. ; Халл, Р.; Виану, В. (март 2005 г.), «Памяти Сеймура Гинзбурга, 1928–2004», ACM SIGMOD Record , 34 (1): 5, doi : 10.1145/1058150.1058152 , S2CID 11825012
- ^ Интервью Аль-Ахо профессора М.С. Махони.
- ^ Джефф Уллман, изд. (1992), Сеймуру Гинзбургу по случаю его день рождения , Теоретические исследования в области компьютерных наук, Academic Press, ISBN 978-0-12-708240-0
- ^ Гинзбург, Сеймур (1959), «О сокращении лишних состояний в последовательной машине», J. ACM , 6 (2): 259–282, doi : 10.1145/320964.320983 , S2CID 10118067
- ^ Гинзбург, Сеймур (1962), Введение в математическую теорию машин , Аддисон Уэсли
- ^ Гинзбург, Сеймур (1966), Математическая теория контекстно-свободных языков , Нью-Йорк, Сан-Франциско, Сент-Луис, Торонто, Лондон, Сидней: McGraw-Hill
- ^ Гинзбург, Сеймур; Райс, Х. Гордон (1962), «Два семейства языков, связанных с АЛГОЛом», J. ACM , 9 (3): 350–371, doi : 10.1145/321127.321132 , S2CID 16718187
- ^ Гинзбург, Сеймур; Грейбах, Шейла А. (1967), «Абстрактные семейства языков», FOCS : 128–139.
- ^ Гинзбург, Сеймур (1975), «Алгебраические и теоретико-автоматные свойства формальных языков» , Северная Голландия, ISBN 978-0-7204-2506-2
- ^ Габриэлян, Армен; Гинзбург, Сеймур (1974), «Грамматические схемы», J. ACM , 21 (2): 213–226, doi : 10.1145/321812.321817 , S2CID 16501933
- ^ Кремерс, Армин Б.; Гинзбург, Сеймур (1974), Жак Лёкс (редактор), «Контекстно-свободные грамматические формы», Автоматы, языки и программирование, 2-й коллоквиум, Университет Саарбрюккена, 29 июля - 2 августа 1974 г., Труды , конспекты лекций по информатике , 14 лет , Спрингер, ISBN 978-3-540-06841-9
- ^ Гинзбург, Сеймур (1977), «Обзор грамматических форм - 1977», Acta Cybernetica , 3 : 269–280.
- ^ Гинзбург, Сеймур; Халл, Ричард (1981), «Характеризация функциональных зависимостей и баз данных нормальной формы Бойса-Кодда», Семинар XP2 по теории реляционных баз данных
- ^ Гинзбург, Сеймур; Зайддан, Сами Мохаммед (1982), «Свойства семейств функциональной зависимости», J. ACM , 29 (3): 678–698, doi : 10.1145/322326.322331 , S2CID 15675086
- ^ Гинзбург, Сеймур; Танака, Кацуми (1986), «Последовательности вычислительных кортежей и истории объектов», ACM Trans. Система баз данных. , 11 (2): 186–212, doi : 10.1145/5922.5924 , S2CID 18924219
- ^ Гинзбург, Сеймур; Курцман, Стивен, «История объектов и p-моделирование в электронных таблицах», у Марка Гиссенса; Ян Пареданс; Дирк Ван Гухт (ред.), ICDT'88, 2-я Международная конференция по теории баз данных, Брюгге, Бельгия, 31 августа - 2 сентября 1988 г., Proceedings , Springer, стр. 383–395, doi : 10.1007/3-540-50171 -1_25 , ISBN 978-3-540-50171-8
- ^ Дун, Гожу; Гинзбург, Сеймур (1990), «О декомпозиции отображений программ регистрации данных», Theor. Вычислить. наук. , 76 (1): 143–177, doi : 10.1016/0304-3975(90)90015-А
- ^ Гинзбург, Сеймур; Шу, Нан К.; Симовичи, Дэн А. (1999), «Автоматическая реструктуризация данных», Journal of Universal Computer Science , 5 (4): 243–299.
Внешние ссылки [ править ]
- Сеймур Гинзбург на DBLP библиографическом сервере
- Сеймур Гинзбург в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |