Meta-linguaggio

Un meta-linguaggio è un linguaggio per descrivere altri linguaggi, cioè una serie di regole sintattiche che consentono di descrivere le regole sintattiche di una certa categoria di linguaggi.