Sigla di for(mula) tran(slator), linguaggio di programmazione simbolico, procedurale e imperativo, indipendente dal calcolatore utilizzato. Realizzato tra il 1954 e il 1957 da un gruppo di esperti operanti presso la IBM guidato da J.W. Backus, nel corso degli anni ne sono state rilasciate diverse versioni, tra le quali quella del 1966 standardizzata dall’ANSI (American National Standard Institute) e quella del 2003 adottata dall’ISO (International Standard Organization).