Сеймур Гинсбург - Seymour Ginsburg

Сеймур Гинсбург
Туған(1927-12-12)1927 жылғы 12 желтоқсан
Өлді5 желтоқсан, 2004 ж(2004-12-05) (76 жаста)
ҰлтыАҚШ
Алма матерНью-Йорктің қалалық колледжі,
Мичиган университеті
БелгіліРесми тіл теориясы,
Тілдердің рефераттық отбасылары,
Дерекқор теория,
Нысан тарихы
Ғылыми мансап
ӨрістерИнформатика
МекемелерОңтүстік Калифорния университеті,
Майами университеті
Докторантура кеңесшісіБен Душник

Сеймур Гинсбург (1927 ж. 12 желтоқсан - 2004 ж. 5 желтоқсан) - американдық ізашар автоматтар теория, ресми тіл теория, және дерекқор теория, атап айтқанда; және Информатика, жалпы алғанда. Оның жұмысы теориялық Информатиканы математика және электротехника пәндерінен ажыратуда әсер етті.

Мансап барысында Гинсбург теориялық Информатикада әр түрлі тақырыпта 100-ден астам жұмыс және үш кітап шығарды.

Өмірбаян

Сеймур Гинсбург өзінің B.S. бастап Нью-Йорктің қалалық колледжі 1948 ж., онда бірге оқитын студентпен бірге Мартин Дэвис ол сабақ беретін үздік математика сабағына қатысты Эмиль Пост.[1] Ол PhD докторы дәрежесіне ие болды. жылы Математика бастап Мичиган университеті 1952 жылы оқыды Бен Душник.

Гинзбургтың кәсіби қызметі 1951 жылы математика кафедрасының ассистенті лауазымын қабылдағаннан басталды Майами университеті Флоридада. Ол назарын толығымен қарай бұрды Информатика 1955 жылы ол Калифорнияға жұмыс істеуге көшкен кезде Northrop корпорациясы. Ол мұны позициялармен ұстанды Ұлттық кассалық корпорация, Hughes Aircraft, және Жүйені дамыту корпорациясы.

SDC-де Гинсбург алдымен абстрактілі машиналар теориясына шоғырланды.[2] Кейін ол формальды тіл теориясына және Информатика ғылымдарының негіздеріне арналған ғылыми жобаны құрды және басқарды. Зерттеу тобының мүшелері: Шейла Грейбах, Майкл А. Харрисон, Джин Роуз, Эд Испанье, және Джо Уллиан. Осы топтан шыққан жұмыс Информатика теориясын басқа салалардан ерекшелеп, Гинзбургты теориялық Информатика қоғамдастығының орталығына қояды.[3]

Бұл SDC жылдары жас болды Джефф Ульман бір жазды Гинсбургте жұмыс істеді, формальды тіл теориясын және информатика теориясының зерттеулеріне кең көзқарасты үйренді. Al Aho Ульманның Гинзбургпен жазын Ахоның компьютерлік ғылымдағы мансабына ықпалы зор деп есептеді. Ахо сұхбатында, ол PhD докторантурасында оқып жүргенде Принстонда информатика аз болғанын еске түсірді. Алайда, Ульман Гинсбургпен бірге жазынан оралғаннан кейін, ол Ульманның «негізінен сабақ берді» деп мәлімдеді Хопкрофт, және мен, ресми тіл теориясы ».[4]

Гинзбург факультетіне қосылды Оңтүстік Калифорния университеті 1966 жылы ол оның құрылуына көмектесті Информатика 1968 ж. кафедрада марапатталды Гуггенхайм стипендиясы 1974 жылы әлемді аралап, өзі құруға көмектескен теориялық Информатика бағыттары бойынша дәрістер оқыды. 1978 жылы Гинсбург Флетчер Джонстың USC информатика кафедрасының алғашқы профессоры атанды, 1999 жылы зейнеткерлікке шыққанға дейін осы кафедрада жұмыс істеді. 1970 жж. Дейін ресми тіл теориясы мен автоматтары бойынша жұмысын жалғастырды.

1980 жылдары USC-де Гинсбург арналған ғылыми топ құрды Дерекқор теория. Ол алғашқы PODS ұйымдастырды (Деректер қоры жүйелерінің принциптеріне арналған симпозиум ) Марина дель Рей 1982 ж. және конференцияның 1990 жж. қозғаушы күші болды. Ол 64 жасқа толуына орай 1992 жылғы PODS-те күтпеген сессиямен марапатталды. Festschrift өңдеген Джефф Ульман орай оның құрметіне жасалған.[5]

Гинзбургтың мансабы 1999 жылы кенеттен аяқталды, ол оған диагноз қойылды Альцгеймер ауруы. Ол белсенді оқытушылық қызметтен кетіп, USC-де информатика профессоры болды. Ол өзінің соңғы жылдарын денсаулығының нашарлауымен 2004 жылдың 5 желтоқсанында өлгенше өткізді.

Жылы жарияланған мемориалда Гинсбург жақсы еске алынды ACM SIGMOD Жазба[3] 2005 ж. Информатика теориясына қосқан үлесінен басқа, ол өзінің зерттеу жұмысына бағыттылығының айқындығымен және PhD докторанттардың кеңесшісі ретіндегі маңыздылығымен есінде қалды. Ол сондай-ақ жас зерттеушілерді жомарт қолдаумен есте қалды. Гинсбургтың тәлімгерлігі, оның PhD докторанттары емес, пайда тапқандар: Джонатан Голдстайн, Шейла Грейбах, Майкл А. Харрисон, Ричард Халл, және Джефф Ульман.

Кәсіби жарналар

Гинзбургтың алғашқы жұмысы шоғырланған автоматтар теориясы. 1958 жылы ол дәлелдеді »бәрібір «тізбектің минимизациясы міндетті түрде минималды нәтиже бермейді.[6] Оның автоматтар теориясындағы жұмысы теория қауымдастығын теориялық бағытқа ауыстыруға әкелді. Бұл жұмыс 1962 жылы машиналар математикасы туралы кітап шығарумен аяқталды.[7]

Гинсбург оған назар аударды ресми тіл теориясы 1960 жылдары. Ол оқыды контекстсіз грамматика және 1966 жылы контекстсіз тілдерге белгілі жан-жақты шолуды жариялады.[8] Арасындағы байланысты бірінші болып Гинзбург байқады контекстсіз тілдер және »АЛГОЛ тәрізді »тілдер.[9] Бұл өрісті әкелді ресми тіл теориясы шыдау бағдарламалау тілі зерттеу. Гинзбургтің контекстсіз грамматика мен итеріп түсетін акцепторлар бойынша нәтижелері осы аймақтағы ең терең және әдемі болып саналады. Олар ресми тілдер мен автоматтар саласында жұмыс істейтін көптеген информатиктер үшін стандартты құралдар болып қала береді.[3] Осы кезде оның көптеген еңбектері басқа да белгілі ресми тіл зерттеушілерімен, оның ішінде авторлармен бірге жазылған Шейла Грейбах, және Майкл А. Харрисон.

Ресми жүйелердің әртүрлі көзқарастарының бірігуі Гинзбург жұмысының тұрақты тақырыбы болды.[3] Ресми тіл теориясында оның еңбектері грамматикалық жүйелер, акцепторлық жүйелер мен тілдер отбасыларының алгебралық сипаттамалары арасындағы байланысты зерттеді. Бұл жұмыстың шарықтау шегі ең терең тармақтарының бірін құру болды Информатика, Тілдердің рефераттық отбасылары, бірлесе отырып Шейла Грейбах 1967 жылы.[10][11]

1974 жылы Гинсбург, бірге Армин Б. Кремерс, Грамматикалық формалар теориясын дамытты.[12][13][14]

1980 жылдары Гинсбург алғашқы ізашар болды Дерекқор Теория. Ол осы салада зейнеткерлікке шыққанға дейін жұмысын жалғастырды. Оның кәсіби үлестері әртүрлі тақырыптарды қамтыды Функционалды тәуелділік,[15][16] нысан тарихы,[17] электрондық кестелер тарихы,[18] Деректер,[19] және деректерді қайта құрылымдау.[20]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Urquhart, Alasdair (2009), «Emil Post», Габбайда, Дов М .; Вудс, Джон (ред.), Расселден шіркеуге дейінгі логика, Логика тарихының анықтамалығы, 5, Солтүстік Голландия, ISBN  978-0-444-51620-6
  2. ^ Гинсбург, Сеймур (1961), «Абстрактілі машиналар теориясы», Коммун. ACM, 4 (4): 195, дои:10.1145/355578.366521
  3. ^ а б c г. Абитебул, С.; Халл, Р .; Виану, В. (2005 ж. Наурыз), «Сеймур Гинсбургты еске алу, 1928-2004», ACM SIGMOD жазбасы, 34 (1): 5, дои:10.1145/1058150.1058152
  4. ^ Al Aho сұхбаты профессор М.С. Махони
  5. ^ Джефф Ульман, ред. (1992), Сеймур Гинсбургке туған күн, Информатика саласындағы теориялық зерттеулер, академиялық баспасөз, ISBN  978-0-12-708240-0
  6. ^ Гинсбург, Сеймур (1959), «Тізбектелген машинада артық күйлерді азайту туралы», J. ACM, 6 (2): 259–282, дои:10.1145/320964.320983
  7. ^ Гинсбург, Сеймур (1962), Математикалық машина теориясына кіріспе, Аддисон Уэсли
  8. ^ Гинсбург, Сеймур (1966), Контекстсіз тілдердің математикалық теориясы, Нью-Йорк, Сан-Франциско, Сент-Луис, Торонто, Лондон, Сидней: МакГроу-Хилл
  9. ^ Гинсбург, Сеймур; Райс, Х.Гордон (1962), «ALGOL-ға қатысты екі тіл отбасы», J. ACM, 9 (3): 350–371, дои:10.1145/321127.321132
  10. ^ Гинсбург, Сеймур; Грейбах, Шейла А. (1967), «Тілдердің абстрактілі отбасылары», ТОҚТАНДЫРУ: 128–139
  11. ^ Гинсбург, Сеймур (1975), 'Ресми тілдердің алгебралық және автоматты теоретикалық қасиеттері, Солтүстік-Голландия, ISBN  978-0-7204-2506-2
  12. ^ Габриэлян, Армен; Гинсбург, Сеймур (1974), «Грамматикалық схема», J. ACM, 21 (2): 213–226, дои:10.1145/321812.321817
  13. ^ Кремерс, Армин Б .; Гинсбург, Сеймур (1974), Жак Луккс (ред.), «Контекстсіз грамматикалық формалар», Автоматтар, тілдер және бағдарламалау, 2-ші коллоквиум, Саарбрюккен университеті, 29 шілде - 2 тамыз, 1974 ж., Информатикадағы дәрістер, Springer, 14, ISBN  978-3-540-06841-9
  14. ^ Гинсбург, Сеймур (1977), «Грамматикалық формаларға шолу - 1977», Acta Cybernetica, 3: 269–280
  15. ^ Гинсбург, Сеймур; Халл, Ричард (1981), «Функционалды тәуелділіктің сипаттамасы және Бойс-Коддтың қалыпты формасындағы мәліметтер базасы», Деректер қорының реляциялық теориясы бойынша XP2 семинары
  16. ^ Гинсбург, Сеймур; Зайддан, Сами Мұхаммед (1982), «Функционалды тәуелділіктің отбасыларының қасиеттері», J. ACM, 29 (3): 678–698, дои:10.1145/322326.322331
  17. ^ Гинсбург, Сеймур; Танака, Катсуми (1986), «Есептеу-Түптік тізбектер және объектілер тарихы», ACM транс. Мәліметтер базасы жүйесі., 11 (2): 186–212, дои:10.1145/5922.5924
  18. ^ Гинсбург, Сеймур; Курцман, Стивен (1988), Марк Гиссенс; Jan Paredaens; Дирк Ван Гюхт (ред.), «Нысан тарихы және кестелік P-имитациясы», ICDT'88, Деректер базасының 2-ші халықаралық конференциясы, Брюгге, Бельгия, 31 тамыз - 2 қыркүйек 1988 ж., Іс жүргізу, Информатикадағы дәрістер, Springer, 326: 383–395, ISBN  978-3-540-50171-8
  19. ^ Донг, Гуожу; Гинсбург, Сеймур (1990), «Бағдарламалық карталардың картотекаларын ажырату туралы», Теория. Есептеу. Ғылыми., 76 (1): 143–177, дои:10.1016 / 0304-3975 (90) 90015-A
  20. ^ Гинсбург, Сеймур; Шу, Нан С .; Simovici, Dan A. (1999), «Деректерді автоматты түрде қайта құрылымдау», Әмбебап компьютерлік ғылымдар журналы, 5 (4): 243–299

Сыртқы сілтемелер