元语言

元语言
术语名称	元语言
英语名称	metalanguage

元语言(metalanguage)，即“关于语言自身的语言”，指在研究某种特定语言时，为了清晰地描述、分析和解释该语言，所不得不引入的另一种作为工具的语言。元(meta-)即“关于……自身”的含义。

元语言不指一种特定的语言，而是根据所扮演角色的分类。对于自然语言及非严格形式化人造语言等，由于存在模糊表达等，比较难以使用形式化描述，往往使用一种自然语言作为元语言。比如英汉字典、数学教科书中，对于英语（自然语言）、数学符号（实用人造语言）等被描述语言，使用了汉语（自然语言）作为元语言进行描述，也称这种情况为“自然元语言”。对于形式语言，我们可以通过自然语言进行大致描述，即“自然元语言”，也可以通过某种特定的形式语言（正则表达式、生成式文法、状态机等）进行精确刻画，也称“形式元语言”。