ヨーロッパのBuckusやNaurなどの数学者によってまとめられた科学技術計算向きの言語．1958年にはじめて開発され，BNF（buckus naur form）記法，ブロック構造，データタイプ，再帰法などの新しい概念を導入し以後のプログラミング言語に大きな影響を与えた．