元语言的含义（含义，概念和定义）

什么是元语言：

元语言是用于描述，陈述或分析语言的语言。

在逻辑学和语言学中，元语言被用来分析和构造由语义悖论所构成的逻辑问题，而语义悖论则是用来描述对象的语言。

元语言也被定义为描述自然语言系统或被认为是分析对象的另一种语言的专用语言。这是在学习一种新的语言，如“这个词尤为明显语的意思是”语言“英语”。

尽管不是总是以这种方式来表达，但是成语语言中的表达式通常通过使用斜体，引号或单独的行书写来与对象语言区分开。

英国作家伯特兰·罗素（Bertrand Russell，1872-1970年）在两个层次上定义了语言层次理论：

语言对象级别：用于指代诸如“他们是人”之类的对象。元语言或元语言级别：这是用于定义先前级别的语言，例如，在短语“移民是人”中，“移民”处于元语言级别。

另一方面，波兰作家阿尔弗雷德·塔斯基（Alfred Tarski，1901-1983年）将元语言定义为语义悖论的解决方案，并指出“有必要从一种称为元语言的语言中说出语言的真相”。

元语言的一些示例是语法语言，词典语言，逻辑语言，儿童语言，技术语言，计算机语言等。

在语言学中，语言有六种用途或功能，其中之一是元语言功能，后者使用元语言来表达语言本身。例如：“母语是一种语言。”

元语言具有特定的特征，由于其支持的逻辑复杂性，有助于更好地理解消息。阿尔弗雷德·塔斯基（Alfred Tarski）为被视为元语言的语言定义了一些基本特征：

元语言定义了一种使用不同语言的语言，元语言必须比对象语言丰富，因为它描述了它的句子和语法。元语言包含在集合论和二进制逻辑中。是语言对象的副本，以便可以用语言来表达。

计算中的元语言用于精确描述程序字符串。1950年，在计算领域，计算机程序的组成存在两种类型的问题：

由于计算机程序设计学科的创建，第一个问题得以解决；而由于定义为元语言（即读取程序的程序）的编译器的产生，第二个问题得以解决。

计算机编译器基于编程语言。由John Backus和Peter Naur创建的BNF（Backus-Naur形式）是最广泛使用的一种，由Noam Chomsky独立开发，也称为Chomsky TYPE2模型层次结构。

编译器通过检测源代码中的大多数错误并将其转换为另一种语言（目标代码）的等效程序来生成解析。