Formal Language。数学的に厳密に定義された言語のことで、仕様言語とも呼ばれています。仕様言語は、その数学的な定義によって、いくつかの言語体系に分類されます。例えば、集合論をベースに形式化された仕様言語としてZ、VDM、代数をベースに形式化された仕様言語としてOBJ、CafeOBJなどが、良く知られています。Ansys SCADEの仕様言語LUSTREは、プログラミング言語に近い仕様記述言語に属します。