言語を記述する言語。
メタ言語自体は利用目的を持っておらず、汎用的に利用できる。
これを用いて、特定の用途に向いた言語を記述することができる。
電子計算機での用途としては、BNFやSGMLがよく知られる。