文明のテックツリー

記号・表現・計算

形式文法とBNF（文法の形式的記述）

言語の文を生成する規則の体系を数学的に定め、プログラミング言語の文法を記号で書く記法を作った。1959年にバッカスがALGOL 58の記述で導入し、ALGOL 60の報告書（1960）で定着して、構文解析とコンパイラ理論の土台。チョムスキーの書き換え規則はポストの生成規則系（1943）を道具にした。

年
1956年
人物・組織
ノーム・チョムスキー（文法の階層 1956）／ジョン・バッカス（BNF 1959）
場所
ケンブリッジ（米）・ニューヨーク
地域
北アメリカ
分野
記号・表現・計算 ／ ソフトウェア
時代
20世紀

全体図でこの位置を見る全体図で系譜だけを表示する

111件の発明・発見が土台にある
最も古いもの：打製石器（オルドワン石器）（約260万年前）

51件の発明・発見がこれを土台にしている

23段の系譜をさかのぼれる
ルーツをたどる

直接のつながり

技術的な土台　きっかけ・需要

土台になったもの

形式文法とBNF（文法の形式的記述）1956年

これを土台に生まれたもの

ルーツをたどる

「技術的な土台」の線だけを古い方へたどったとき、最も長くつながる系譜です。打製石器（オルドワン石器）から23段で形式文法とBNF（文法の形式的記述）に至ります。

  1. 約260万年前打製石器（オルドワン石器）
  2. 約170万年前握斧（ハンドアックス）
  3. 約30万年前ルヴァロワ技法
  4. 約5万年前石刃技法
  5. 約2万年前細石器
  6. 約1万2千年前鎌
  7. 前9500年頃農耕（小麦・大麦の栽培）
  8. 前5000年頃灌漑農業
  9. 前2000年頃測量幾何学
  10. 前580年頃演繹的証明の始まり
  11. 前500年頃ピタゴラスの定理
  12. 前450年頃無理数の発見
  13. 前370年頃取り尽くし法
  14. 前300年頃『原論』（公理的幾何学）
  15. 820年頃代数学
  16. 1202年筆算（インド・アラビア数字の伝播）
  17. 1591年記号代数（文字式）
  18. 1637年解析幾何
  19. 1670年微積分
  20. 1748年『無限解析入門』（関数概念・オイラーの公式）
  21. 1821年解析学の厳密化（極限の定義）
  22. 1874年集合論
  23. 1910年『プリンキピア・マテマティカ』
  24. 1956年形式文法とBNF（文法の形式的記述）

「形式文法とBNF」をもっと知る本PR

書店のサイトで「形式文法とBNF」の本を検索します。リンクから購入があると、このサイトに紹介料が入ります。

楽天ブックスで探す

すべてのつながり

技術的な土台2件

これがなければ成り立たなかった技術・知識。

先行例・独立した発明1件

よく似たものが別の場所・別の人によって先に、または同時期に作られていた例。

これを土台にしたもの1件

この発明・発見を技術的な前提としているもの。

年代・人物・つながりの誤りに気づいたら この項目の誤りを報告する（1分ほど。項目名は自動で入ります）