Seymour Ginsburg

Кіріспе

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

Өмірбаян

Сеймур Гинзбург 1948 жылы Нью-Йорк Сити колледжінен бакалавриат дәрежесін алды, онда ол Мартин Дэвиспен бірге Эмиль Посттың математика сабағына қатысты. Ол филология ғылымдарының докторы. 1952 жылы Мичиган университетінің математика докторы, Бен Душниктің оқушысы. Гинзбургтің кәсіби мансабы 1951 жылы Флорида штатының Коралл Гейблс қаласындағы Майами университетінде математика профессорының көмекшісі лауазымына орналасуынан басталды. 1955 жылы Калифорнияға көшіп келіп, Northrop корпорациясында жұмыс істегеннен кейін ол өзінің назарын толықтай компьютерлік ғылымға аударды. Ол Ұлттық кассалық тіркелім корпорациясында, Хьюз ұшақтарында және Жүйелік даму корпорациясында қызмет атқарды. Гинзбург СДК-да алғаш рет абстрактілі машиналар теориясына көңіл бөлді. Кейін ол формальды тіл теориясы мен Компьютерлік ғылымның негіздеріне арналған ғылыми жобаны құрып, оған жетекшілік етті. Зерттеу тобының мүшелеріне мыналар кірді: Шейла Грейбах, Майкл А. Харрисон, Джин Роуз, Эд Спаньер және Джо Уллиан. Бұл топтың жұмысынан шыққан жұмыс Компьютерлік ғылым теориясын басқа салалардан ажыратып, Гинзбургті теориялық Компьютерлік ғылымдар қауымдастығының орталығына қойды. Бұл SDC жылдары жас Джефф Уллман бір жазды Гинзбургпен жұмыс істеді, ресми тіл теориясын және компьютерлік ғылым теориясындағы зерттеулерге кеңінен қарады. Ал Ахо Уллманның Гинзбургпен бірге өткен жазын Ахоның компьютерлік ғылымдағы мансабына үлкен әсер еткен деп есептейді. Бір сұхбатында Ахо Принстон университетінде PhD оқып жүрген кезінде компьютерлік ғылымның аз екенін еске алды. Алайда, Улман Гинзбургпен бірге жазғы сапарынан оралғаннан кейін, Ахо Улманның "негізінен Хопкрофқа және маған ресми тіл теориясын үйреткенін" айтты. Гинзбург 1966 жылы Оңтүстік Калифорния университетінің факультетіне қосылды, онда ол 1968 жылы Компьютерлік ғылым бөлімін құруға көмектесті. Ол 1974 жылы Гуггенхайм стипендиясын алды және бір жыл бойы әлемді аралап, өзі құрған теориялық компьютерлік ғылым салалары бойынша дәріс берді. Гинзбург 1978 жылы USC-де бірінші Fletcher Jones Computer Science профессоры болып тағайындалды, ол 1999 жылы зейнеткерлікке шыққанға дейін осы лауазымға ие болды. Ол 1970 жылдары формальды тіл теориясы мен автоматтар бойынша жұмысын жалғастырды. 1980 жылдары USC-де Гинзбург деректер базасының теориясына арналған зерттеу тобын құрды. Ол 1982 жылы Марина-дель-Рейде PODS (деректер базасы жүйелерінің принциптері туралы симпозиум) бірінші конференциясын ұйымдастырды және 1990-шы жылдары конференцияда қозғаушы күш болды. 1992 жылы PODS-те оның 64 жасқа толуына орай, ол күтпеген сессиямен құрметтелді. Бұл оқиғаға орай Джефф Уллман редакциялаған мерекелік қағаз жасалды. Гинзбургтің мансабы 1999 жылы Альцгеймер ауруының басталуымен диагноз қойылған кезде кенеттен аяқталды. Ол белсенді оқытушылық қызметтен зейнеткерлікке шығып, USC-де Компьютер ғылымдарының профессор-эмиритусы болды. 2004 жылдың 5 желтоқсанында қайтыс болғанға дейін оның денсаулығы нашарлап кетті. Гинзбург ACM SIGMOD Record журналында жарияланған мемориалда жақсы есте қалдырылды. Автоматтар теориясындағы жұмысы теория қауымдастығын теориялық бағытқа ауыстырды. Бұл еңбек 1962 жылы машиналардың математикасы туралы кітаптың жарыққа шығуына әкелді. Гинзбург 1960 жылдары өзінің назарын формалды тіл теориясына аударды. Ол контекстсіз грамматиканы зерттеді және 1966 жылы контекстсіз тілдерге қатысты кеңінен танымал шолу жариялады. Гинзбург контексті жоқ тілдер мен "ALGOL-ге ұқсас" тілдердің арасындағы байланысты алғаш рет байқаған. Бұл бағдарламалау тілдерін зерттеуге ресми тіл теориясын енгізді. Гинзбургтің контекстсіз грамматика және push down acceptors бойынша нәтижелері осы саладағы ең терең және әдемі болып саналады. Олар ресми тілдер мен автоматтар саласында жұмыс істейтін көптеген компьютерлік ғалымдар үшін стандартты құрал болып қала береді. 1974 жылы Гинзбург Армин Б. Кремерспен бірге грамматикалық формалар теориясын жасады. 1980 жылдары Гинзбург деректер базасы теориясының алғашқы ізашарларының бірі болды. Ол зейнеткерлікке шыққанға дейін осы салада жұмыс істеді. Оның кәсіби үлесі функционалдық тәуелділік, объект тарихы, электронды кесте тарихы, Datalog және деректерді қайта құру сияқты әртүрлі тақырыптарға қатысты.

Seymour Ginsburg received his B. S. from City College of New York in 1948, where along with fellow student Martin Davis he attended an honors mathematics class taught by Emil Post. He earned a Ph. D. in Mathematics from the University of Michigan in 1952, studying under Ben Dushnik. Ginsburg's professional career began in 1951 when he accepted a position as assistant professor of mathematics at the University of Miami in Coral Gables, Florida. He turned his attention wholly towards computer science in 1955 when he moved to California to work for the Northrop Corporation. He followed this with positions at the National Cash Register Corporation, Hughes Aircraft, and System Development Corporation. At SDC, Ginsburg first concentrated on the theory of abstract machines. He subsequently formed and led a research project dedicated to formal language theory and the foundations of Computer Science. Members of the research group included: Sheila Greibach, Michael A. Harrison, Gene Rose, Ed Spanier, and Joe Ullian. The work that came out of this group distinguished Computer Science theory from other fields, putting Ginsburg at the center of what became the theoretical Computer Science community. It was during the SDC years that a young Jeff Ullman spent one summer working for Ginsburg, learning both formal language theory and a broad approach to research in computer science theory. Al Aho credited Ullman's summer with Ginsburg as being highly influential on Aho's career in Computer Science. In an interview, Aho recalled that there was little Computer Science at Princeton University while he was studying for his PhD. However, after Ullman returned from his summer with Ginsburg, Aho stated that Ullman "essentially taught Hopcroft, and me, formal language theory". Ginsburg joined the faculty of University of Southern California in 1966 where he helped to establish the Computer Science department in 1968. He was awarded a Guggenheim Fellowship in 1974 and spent the year touring the world, lecturing on the areas of theoretical Computer Science which he had helped to create. Ginsburg was named the first Fletcher Jones Professor of Computer Science at USC in 1978, a chair he held until his retirement in 1999. He continued his work on formal language theory and automata through the 1970s. At USC in the 1980s, Ginsburg created a research group dedicated to database theory. He organized the first PODS (Symposium on Principles of Database Systems) in Marina del Rey in 1982 and was a moving force at the conference into the 1990s. He was honored with a surprise session at the 1992 PODS on the occasion of his 64th birthday. A festschrift edited by Jeff Ullman was created in his honor for the occasion. Ginsburg's career ended suddenly in 1999 when he was diagnosed with the onset of Alzheimer's disease. He retired from active teaching and became Professor Emeritus of Computer Science at USC. He spent his last years in declining health until dying on December 5, 2004. Ginsburg was remembered fondly in a memorial published in the ACM SIGMOD Record His work in automata theory led the switching theory community into a more theoretical direction. This work culminated in the publication of a book on the mathematics of machines in 1962. Ginsburg turned his attention to formal language theory in the 1960s. He studied context free grammars and published a well known comprehensive overview of context free languages in 1966. Ginsburg was the first to observe the connection between context free languages and "ALGOL like" languages. This brought the field of formal language theory to bear on programming language research. Ginsburg's results on context free grammars and push down acceptors are considered to be some of the deepest and most beautiful in the area. They remain standard tools for many computer scientists working in the areas of formal languages and automata. In 1974, Ginsburg, along with Armin B. Cremers, developed the theory of Grammar Forms. In the 1980s, Ginsburg became an early pioneer in the field of Database Theory. He continued to work in this field until his retirement. His professional contributions spanned subjects as diverse as functional dependency, object histories, spreadsheet histories, Datalog, and data restructuring.