Backusi, Johne

John Backus
Angličtina  John Warner Backus
Datum narození 3. prosince 1924( 1924-12-03 )
Místo narození Philadelphia ( USA )
Datum úmrtí 17. března 2007 (82 let)( 2007-03-17 )
Místo smrti Ashland ( Oregon , USA)
Země  USA
Vědecká sféra Informatika
Místo výkonu práce
Alma mater Kolumbijská univerzita
Známý jako vedoucí týmu, který vyvinul první programovací jazyk na vysoké úrovni, Fortran ; vyvinul BNF
Ocenění a ceny Cena Wallace McDowella (1967)
Americká národní medaile za vědu (1975)
Turingova cena (1977)
Cena Harolda Pendera (1983)
Cena Drapera (1993)
 Mediální soubory na Wikimedia Commons

John Backus ( Eng.  John Warner Backus [1] ; 3. prosince 1924 - 17. března 2007 ) - americký počítačový vědec , vedoucí týmu tvůrců prvního programovacího jazyka na vysoké úrovni Fortran , vynálezce formy Backus-Naura - jedna z nejběžnějších a nejuniverzálnějších notací pro definování syntaxe formálních jazyků , vítěz Turingovy ceny (1977).

Člen Národní akademie věd USA (1974) [2] .

Životopis

Narodil se ve Philadelphii , vyrostl ve Wilmingtonu v Delaware , vystudoval Hill School v Pottstownu .  V roce 1942 nastoupil na University of Virginia na katedru chemie , ale byl vyloučen ve druhém ročníku kvůli chybějícím třídám. Poté byl povolán do americké tichomořské flotily , ale při lékařské prohlídce mu byl diagnostikován nádor lebeční kosti , který byl úspěšně operován instalací kostního implantátu.  

Po službě v armádě během druhé světové války se přestěhoval do New Yorku , kde začal studovat na radiotechnické škole, fascinován úkolem vyvinout vysoce kvalitní zařízení pro reprodukci zvuku. Jeden z profesorů přesvědčil Backuse, aby pokračoval ve studiu, a zapsal se na Columbia University , kde v roce 1949 získal magisterský titul v matematice.

V roce 1950 byl najat společností IBM , kde brzy vedl skupinu, která vyvinula Speedcoding pro počítač IBM 701 , a později se podílel na vytvoření vylepšené verze tohoto stroje, modelu IBM 704 . V roce 1953 navrhl vytvořit jazyk pro počítač IBM 704, který umožňuje psát příkazy v téměř běžné algebraické formě, a kompilátor pro něj. Tento návrh rychle našel podporu, protože společnost hledala způsoby, jak zvýšit prodej svých počítačů, a proto se snažila je učinit atraktivnějšími, „přátelštějšími“ pro uživatele. V důsledku toho vznikl v letech 1954-1957 jazyk Fortran , který je všeobecně uznáván jako první programovací jazyk na vysoké úrovni v historii.

Následně se aktivně podílel na vývoji Fortranu, účastnil se výboru pro vytvoření Algolu . V procesu přípravy zprávy o Algolu vyvinul speciální definiční systém, který formálně popisuje syntaxi programovacího jazyka , který představil na konferenci UNESCO v Paříži v roce 1959. Brzy byla tato notace nazývána Backusova normální forma; později Peter Naur notaci upřesnil a forma se nazývala Backus-Naur forma (zatímco zkratka zůstala stejná - BNF).

V roce 1963 se stal čestným členem IBM ( anglicky  IBM Fellow ). V roce 1975 mu byla udělena americká národní medaile za vědu .

V roce 1977 mu byla za práci na vytvoření Fortranu a jeho přínos k formalizaci specifikace programovacích jazyků udělena Turingova cena. Turingova přednáška "Lze programování osvobodit od von Neumannova stylu?" [3] věnoval kombinatorickému programování a představil v něm jazyk FP , který z velké části absorboval myšlenky z Iversonova APL a ovlivnil jazyky jako Haskell a J v 80. letech 20. století . Ve druhé polovině 80. let IBM společně s kolegy z Almaden Research Center vyvinula jazyk FL , který rozvíjí myšlenky kombinatorického programování začleněné do FP.

Před odchodem do důchodu v roce 1991 pracoval ve výzkumných laboratořích IBM. Podepsáno „ Varování vědců lidstvu “ (1992) [4] . V roce 1993 mu byla udělena Draperova cena za vytvoření Fortranu . Své poslední roky strávil se svou rodinou v Ashlandu v Oregonu.

Poznámky

  1. John Warner Backus. Archivováno 20. března 2016 na Wayback Machine
  2. John  Backus . nasonline.org. Získáno 4. července 2019. Archivováno z originálu dne 6. října 2018.
  3. John Backus. Je možné osvobodit programování od von Neumannova stylu? Funkční styl a odpovídající programová algebra // Přednášky o Turingově ceně = Lze programování osvobodit od von Neumannova stylu? Funkční styl a jeho algebra programů. - M .: Mir , 1993. - S.  84 -158. — 560 str. - 2000 výtisků.  — ISBN 5-03-002130-2 .
  4. World Scientists' Warning To Humanity  (anglicky)  (odkaz není dostupný) . stanford.edu (18. listopadu 1992). Získáno 4. července 2019. Archivováno z originálu 6. prosince 1998.

Odkazy