contracción del inglés "The IBM Mathematical Formula Translating System") es un lenguaje de programación de alto nivel de propósito general, procedimental e imperativo, que está especialmente adaptado al cálculo numérico y a la computación científica.