Ugrás a tartalomhoz

John Backus

A Wikiszótárból, a nyitott szótárból
(Backus szócikkből átirányítva)

Angol


Főnév

John Backus (tsz. John Backuses)

  1. (informatika) John Warner Backus (1924. december 3. – 2007. március 17.) amerikai számítógéptudós, a FORTRAN programozási nyelv megalkotója, valamint a Backus–Naur-forma (BNF) kidolgozója. Munkássága alapjaiban formálta meg a modern programozási nyelvek fejlődését és a kompilátorok építésének elméletét.


📚 Életút

Gyermekkor és tanulmányok

  • Philadelphia városában született, jómódú családban.
  • A Delaware állambeli Wilmingtonban nevelkedett.
  • Andoveri Phillips Akadémia elit magániskolában tanult.
  • Ezután a University of Virginia orvosi karára jelentkezett, de abbahagyta tanulmányait.
  • Az amerikai hadseregbe vonult be, ahol a második világháború alatt a légierőnél szolgált.
  • Egy koponyasérülése miatt leszerelt, majd visszatért tanulni a Columbia University-re:
    • Először rádiótechnikus képzésen vett részt.
    • Később informatikát és matematikát tanult.
    • 1949-ben Master of Science fokozatot szerzett.


🖥️ Karrier és szakmai tevékenység

IBM Research

  • 1950-ben csatlakozott az IBM-hez.
  • Eleinte numerikus analízissel foglalkozott.
  • Részt vett a IBM 701 (első IBM elektronikus számítógép) programozásában.
  • Fő érdeklődése az volt, hogyan lehet a programozást hatékonyabbá és hozzáférhetőbbé tenni.


🌟 Főbb hozzájárulások

1️⃣ FORTRAN (FORmula TRANslating system)

  • A világ első magas szintű programozási nyelveinek egyike.
  • Célja: a tudományos és mérnöki számítások egyszerűsítése.
  • 1954–1957 között a FORTRAN I csapat vezetője volt.

Miért volt forradalmi?

  • Előtte a programozást gépi kódban vagy assembly nyelven végezték.
  • FORTRAN lehetővé tette, hogy a programozók emberi nyelvhez hasonló szintaxist használjanak.
  • Automatikus optimalizáló fordítót is készítettek hozzá — az első komoly optimalizáló kompilátor.
  • Az első FORTRAN programok hatékonyabbak voltak, mint az akkori assembly nyelven írt megfelelőik.

Hatás

  • A FORTRAN hamarosan az ipari szabvány lett tudományos és műszaki alkalmazásokhoz.
  • A mai napig használják modern változatait (FORTRAN 90, FORTRAN 2003, stb.).
  • Számos modern nyelv (pl. C, Pascal) hálás a FORTRAN úttörő munkájáért.


2️⃣ Backus–Naur-forma (BNF)

  • Egy formális nyelvleíró rendszer, amelyet programozási nyelvek szintaxisának leírására használnak.

Miért jött létre?

  • Az 1950-es évek végén Backus a ALGOL 58 / ALGOL 60 nyelv specifikációján dolgozott.
  • Az addigi nyelvleírások homályosak, nem pontosak voltak.
  • Kidolgozta a BNF-et, hogy formálisan meg tudja adni a nyelv szintaxisát.

Példa BNF-re

<szám> ::= <számjegy> | <szám> <számjegy>
<számjegy> ::= "0" | "1" | "2" | ... | "9"

Hatás

  • Azóta a BNF és annak variánsai (pl. EBNF) ipari szabványként használatosak programozási nyelvek, adatstruktúrák, protokollok formális leírásához.
  • Segíti a kompilátorok, szintaktikus elemzők (parser) készítését.


3️⃣ Funkcionális programozás propagálása

  • A későbbi pályáján Backus a funkcionális programozási paradigmát népszerűsítette.
  • Kidolgozta az úgynevezett FP (Functional Programming) rendszert.

Fő gondolatok:

  • A programokat ne változó állapotú adatstruktúrákon és vezérlési szerkezeteken alapulva írjuk meg, hanem függvények összetételével.
  • Előnyök: párhuzamosítás, formális bizonyíthatóság, kevesebb mellékhatás.

FP nyelv

  • A FP nyelv nem terjedt el széles körben, de:
    • Hatott a Haskell, ML, Scala, F#, Clojure nyelvekre.
    • A modern programozásban az FP elvei (immutabilitás, tiszta függvények) egyre fontosabbak.


🧠 Filozófia és gondolkodásmód

Programozás mint matematikai eszköz

  • Backus úgy tekintett a programozásra, mint egy formális matematikai rendszerre.
  • A cél: egyszerű, pontos, bizonyíthatóan helyes programok létrehozása.

Harc az imperatív paradigmák ellen

  • Kritizálta az imperatív programozás (utasítások sorozata, állapotváltoztatás) bonyolultságát.
  • Hitt a deklaratív szemlélet előnyeiben:
    • Mit akarunk, ne azt, hogy hogyan csináljuk.

“Can Programming Be Liberated from the von Neumann Style?”

  • 1977-es Turing Award előadásában ezt a kérdést tette fel.
  • Az előadás forradalmi hatású volt:
    • Bírálta a Neumann-architektúrára épülő programozási modelleket.
    • Azt állította, hogy a funkcionális paradigma felszabadíthatja a programozást a szekvenciális gondolkodás kényszere alól.


🏅 Elismerések

  • ACM Turing Award (1977) — a számítástechnika Nobel-díja.
  • National Medal of Science (1991) — az Egyesült Államok legnagyobb tudományos kitüntetése.
  • IBM Fellow — az IBM legmagasabb szakmai rangja.
  • Többszörös díszdoktori cím.


👨‍👩‍👧‍👦 Személyes élet

  • Felesége: Barbara Backus.
  • Négy gyermekük született.
  • Szerette a zenét és a hajózást.
  • 2007-ben halt meg rákban, Ashlandben (Oregon).


🗺 Öröksége

John Backus öröksége az informatika alapjaiba ivódott:

  • A FORTRAN forradalmasította a programozás gyakorlatát.
  • A BNF a formális nyelvelmélet egyik alapeszköze.
  • A funkcionális programozás mai népszerűsége részben az ő gondolataiból táplálkozik.

Backus bebizonyította, hogy a programozás művészet, tudomány, és szisztematikus gondolkodás eredménye.


📜 Idézetek

👉 “Much of my work has come from being lazy.” (Sok munkám abból fakadt, hogy lusta voltam.)

👉 “Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.”

👉 “We need a programming methodology that treats programs as mathematical objects.”

További információk

A lap eredeti címe: „https://hu.wiktionary.org/w/index.php?title=John_Backus&oldid=3504517”