1954(昭和29)年1月に、IBMのJ.W.Backusによって提案された世界最古の高水準コンピュータ言語。英語で "数式翻訳" の意である。
実際の処理系は1957(昭和32)年4月に初駆動し、主に科学技術計算に使われた逐次型の手続き型言語である。
しかしCOBOLと同じく昨今ではプログラマは激減した。