Джон Бэкус - John Backus - Wikipedia

Бұл мақала компьютер ғалымы туралы. Физик үшін қараңыз Джон Бэкус (акустик). Министр үшін қараңыз Джон Честер Бэкус.

Джон Бэкус
Джон Бэкус 2.jpg
Backus 1989 жылдың желтоқсанында
Туған
Джон Уорнер Бэкус

(1924-12-03)1924 жылғы 3 желтоқсан
Филадельфия, Пенсильвания
Өлді17 наурыз, 2007(2007-03-17) (82 жаста)
Эшлэнд, Орегон
Алма матерВирджиния университеті
Питтсбург университеті
Колумбия университеті (B.S. 1949, M.S. 1950)
БелгіліЖылдамдықты кодтау
FORTRAN
АЛГОЛ
Backus – Наур формасы
Функция деңгейінде бағдарламалау
МарапаттарҰлттық ғылым медалі (1975)
ACM Turing сыйлығы (1977)
Чарльз Старк Драпер сыйлығы (1993)
Ғылыми мансап
ӨрістерЕсептеу техникасы
МекемелерIBM

Джон Уорнер Бэкус (3 желтоқсан 1924 - 17 наурыз 2007) американдық информатик. Ол ойлап тапқан және іске асырған топқа басшылық жасады FORTRAN, бірінші кеңінен қолданылатын жоғары деңгейлі бағдарламалау тілі, және өнертапқышы болды Backus – Наур формасы (BNF), анықтау үшін кеңінен қолданылатын белгі ресми тіл синтаксис. Кейінірек ол зерттеу жүргізді функционалды деңгейдегі бағдарламалау парадигма, өзінің нәтижелерін 1977 жылғы «Тюринг сыйлығы» сыйлығындағы «Бағдарламалауды фон Нейман стилінен босатуға бола ма?» дәрісінде ұсынған.

The IEEE Backus the марапатталды W. W. McDowell сыйлығы 1967 жылы FORTRAN дамытуға арналған.[1] Ол алды Ұлттық ғылым медалі 1975 жылы[2] және 1977 ж ACM Turing сыйлығы «практикалық жоғары деңгейлі бағдарламалау жүйелерін жобалауға терең, әсерлі және тұрақты үлес қосқаны үшін, әсіресе FORTRAN-дағы жұмысы және бағдарламалау тілдерін нақтылаудың ресми процедуралары үшін».[3]

Ол 1991 жылы зейнетке шығып, үйінде қайтыс болды Эшлэнд, Орегон 2007 жылғы 17 наурызда.[4]

Ерте өмір

Бэкус дүниеге келді Филадельфия және жақын жерде өсті Уилмингтон, Делавэр.[5] Ол оқыды Төбелік мектеп жылы Потстаун, Пенсильвания, және, бәлкім, ыждаһатты студент болған жоқ.[4] Ол колледжге түсті Вирджиния университеті оқу химия, бірақ ондағы сабақтарымен күресіп, нашар қатысқаны үшін бір жылдан аз уақыттан кейін шығарылды.[6] Кейіннен ол әскер қатарына шақырылды АҚШ армиясы кезінде Екінші дүниежүзілік соғыс,[4] соңында зениттік аккумулятордың командирі болып, ефрейтор шенін иеленді Форт Стюарт, Грузия.[6]

Әскери қабілеттілік сынағынан жоғары балл алғаннан кейін, армия оны инженерлік оқуға жіберді Питтсбург университеті.[6] Кейін дәрігерге дейінгі бағдарламаға көшті Гаверфорд колледжі.[7] Ауруханада тәжірибе кезінде оған бас сүйек диагнозы қойылды сүйек ісігі, ол сәтті алынып тасталды және оның басына тақтайша орнатылды. Содан кейін ол көшті Гүл және Бесінші авеню медициналық мектебі медициналық мектеп үшін, бірақ оны қызықсыз деп тапты және тоғыз айдан кейін оқудан шықты.[6] Көп ұзамай ол басындағы металл тақтайшаны өзінің дизайны бойынша ауыстыру үшін екінші ота жасады,[8] және 1946 жылы АҚШ армиясынан құрметті медициналық босату алды.[6]

Фортран

Көшкеннен кейін Нью-Йорк қаласы ол бастапқыда а радио техник және математикаға қызығушылық танытты. Ол бітірді Колумбия университеті 1949 жылы бакалавр дәрежесімен және 1950 жылы магистр дәрежесімен, математика бойынша,[6] және қосылды IBM 1950 жылы. Оның алғашқы үш жылында ол жұмыс жасады Электрондық калькулятор (SSEC); оның алғашқы ірі жобасы - позицияларын есептеу бағдарламасын жазу Ай. 1953 жылы Backus тілін дамытты Жылдамдықты кодтау, бағдарламалық жасақтаманы әзірлеуге көмектесу үшін IBM компьютері үшін жасалған бірінші жоғары деңгейлі тіл IBM 701 компьютер.[9]

Осы кезде бағдарламалау өте қиын болды, ал 1954 жылы Бэкус анықтауға және дамытуға команда жинады Фортран үшін IBM 704 компьютер. Фортран кең қолданысқа енгізілген бірінші деңгейлі бағдарламалау тілі болды.

Backus – Наур формасы

Негізгі мақала: Backus – Наур формасы

Бэкус дамыған халықаралық комитеттерде қызмет етті АЛГОЛ 58 және өте ықпалды ALGOL 60, ол тез айналды іс жүзінде баспаға арналған дүниежүзілік стандарт алгоритмдер. Backus дамыды Backus – Наур формасы (BNF), жарияланған ЮНЕСКО ALGOL 58 туралы есеп. Бұл кез-келгенін сипаттай алатын ресми белгі болды контекстсіз бағдарламалау тілі, және маңызды болды компиляторларды әзірлеу. Бұл тәсілден бірнеше ауытқулар байқалды, атап айтқанда Лисп және APL - дегенмен, 1970 ж.ж. сияқты автоматтандырылған компилятор генераторлары дамығаннан кейін yacc, Backus-Naur контекстсіз компьютерлік тілдерге арналған сипаттамалар стандартты болды. Бұл үлес Backus-қа жеңіске жетті Тюринг сыйлығы 1977 ж.

Функция деңгейінде бағдарламалау

Бэкус кейінірек жұмыс істеді функционалды деңгейдегі бағдарламалау тілі ретінде белгілі ФП, ол сипатталған Тюринг сыйлығы дәріс «Бағдарламалауды азат етуге болады фон Нейман Стилі Кейде Backus-тің Fortran-ді құрғаны үшін кешірім ретінде қарастырылатын бұл жұмыс FP тіліне қызығушылық тудырғаннан гөрі ғылыми зерттеулерге түрткі болған жоқ. функционалды бағдарламалау жалпы алғанда. Бэкус бағдарламалаудың функционалды деңгей стилін жария еткенде, оның хабарламасы негізінен түсінбеді[10] дәстүрлі функционалды бағдарламалау стилінің тілдерімен бірдей.

ФП қатты шабыттандырды Кеннет Э. Айверсон Келіңіздер APL, тіпті стандартты емес қолдану таңбалар жиынтығы. ФП аудармашы бірге таратылды 4.2BSD Unix операциялық жүйе, бірақ тілдің енгізілімдері салыстырмалы түрде аз болды, олардың көпшілігі білім беру мақсатында қолданылды.

Бэкус мансабының соңғы бөлігін дамытуға жұмсады FL («Функция деңгейінен»), ФП-ның ізбасары. FL ішкі IBM зерттеу жобасы болды, және жоба аяқталғаннан кейін тілді дамыту тоқтатылды. Оны құжаттайтын бірнеше қағаздар ғана қалады және оларда сипатталған компилятордың бастапқы коды жария етілмеген. FL 1980 жылдары қалыптасқан функционалды бағдарламалау тілдеріне қайшы келді, олардың көпшілігі негізделген лямбда есебі және статикалық теру APL-дегідей, қарабайыр операцияларды біріктірудің орнына жүйелер. Тілдің көптеген идеялары қазір нұсқаларында жүзеге асырылды J бағдарламалау тілі, Айверсонның APL-дің ізбасары.

Марапаттар мен марапаттар

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

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

  1. ^ а б «В.Уоллес МакДауэлл атындағы сыйлық». Архивтелген түпнұсқа 2007 жылдың 29 қыркүйегінде. Алынған 15 сәуір, 2008.
  2. ^ а б «Президенттің ұлттық ғылым медалы: Джон Бэкус». Ұлттық ғылыми қор. Мұрағатталды түпнұсқадан 2007 жылғы 29 қыркүйекте. Алынған 21 наурыз, 2007.
  3. ^ а б «ACM Turing сыйлығына сілтеме: Джон Бэкус». Есептеу техникасы қауымдастығы. Архивтелген түпнұсқа 2007 жылғы 4 ақпанда. Алынған 22 наурыз, 2007.
  4. ^ а б в Лор, Стив (2007 ж. 20 наурыз). «Джон В. Бэкус, 82 жаста, Fortran Developer, қайтыс болды». New York Times. Алынған 21 наурыз, 2007.
  5. ^ «Джон Бэкус». Есептеуіштер тарихы. Мұрағатталды түпнұсқасынан 2016 жылғы 27 сәуірде. Алынған 28 сәуір, 2016.
  6. ^ а б в г. e f «Джон Бэкус - А.М. Тьюринг сыйлығының лауреаты». amturing.acm.org. Мұрағатталды түпнұсқадан 2018 жылғы 19 қаңтарда. Алынған 4 мамыр, 2018.
  7. ^ «Аптаның өнертапқышы Джон Бэкус». Ақпан 2006. Мұрағатталды түпнұсқадан 2011 жылғы 26 қазанда. Алынған 25 тамыз, 2011.
  8. ^ Греди Буч (сұхбаттасушы) (25 қыркүйек 2006). «Джон Бэкустың ауызша тарихы» (PDF). Алынған 17 тамыз, 2009.
  9. ^ Аллен, Ф.Е. (қыркүйек 1981). «IBM-де тілдік процессор технологиясының тарихы». IBM Journal of Research and Development. 25 (5): 535–548. дои:10.1147 / rd.255.0535.
  10. ^ Худак, Павел (1989). «Функционалды бағдарламалау тілдерінің түсінігі, эволюциясы және қолданылуы». ACM Computing Surveys, Vol. 21, №3
  11. ^ «Джон Бэкус». IBM Archives. Мұрағатталды түпнұсқадан 2011 жылғы 26 тамызда. Алынған 21 наурыз, 2007.
  12. ^ «Мүшелер кітабы, 1780–2010: Б тарауы» (PDF). Американдық өнер және ғылым академиясы. Мұрағатталды (PDF) түпнұсқадан 2011 жылғы 25 шілдеде. Алынған 28 сәуір, 2011.
  13. ^ «Джон Бэкус». Мұрағатталды түпнұсқадан 2008 жылғы 14 мамырда. Алынған 15 сәуір, 2008.
  14. ^ «Чарльз Старк Драпер сыйлығының алушылары». Архивтелген түпнұсқа 2010 жылдың 2 наурызында. Алынған 26 наурыз, 2007.
  15. ^ «Fellow Awards 1997 алушысы Джон Бэкус». Архивтелген түпнұсқа 2010 жылы 9 шілдеде. Алынған 15 сәуір, 2008.

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