什么语言叫什么语言指的是自我指涉的语言，即一种语言通过自身的语法规则来描述自身。 它不是一种具体的语言，而是一类用于描述语言本身的语言学研究工具！
形式语言学视角下的“是什么语言叫什么语言”
形式语言学利用形式文法来描述语言结构。 例如，巴科斯范式 (Backus-Naur Form, BNF) 是一种元语言，它用一套规则来规定编程语言的语法。 BNF 使用符号例如 < 和 > 表示语法元素，例如：
bnf
这段BNF 文法用简洁的形式表达了简单的算术表达式的语法。此处，BNF 就是一种”什么语言叫什么语言“ 的体现：它使用自己的语法规则去定义其他编程语言例如C语言 , Python 语法的构，进而实现 “描述语言特征和构建自己的方式”！
编程语言及其元编程
多数编程语言也具备部分的自我描述能力，很多语言内建了访问自身源代码结构的功能或库，用于宏定义等目的。比如果在C++中可以通过预处理器宏定义控制代码的编译行为。 我们使用 C++代码本身控制如何组装C++的语法结构。所以编程也可以某种形式自身去调用、描述自身特征方式的描述手段！
自然语句描述自然语言
不仅形式语言，我们自然语言也经常运用 “是用自然语言来解释自然语句” 的特点描述特定自然语句和相关语法。 当谈及英语中的被动语态运用标准化表达、或者语法句型运用指导书 时、 这些书籍和语言学家论文运用自然语句去细致而具体规定和解释哪些才是真正的被动语态 、并解释它的运用和语篇内特定情况出现频率 。 自然语言的自我建模其实是很复杂的，它仍然还在是一个活跃的科研挑战课题 ！
常见疑问
Q: 什么样的语言可以称为“是什么语言叫什么语言”？
A: 任何用来描述或定义其他语言的语言或系统，无论是形式化的还是非形式化的，都可以被称为“是什么语言叫什么语言”。这可以是编程语言的语法规范也可以是对自然语言结构的语义学和语法结构解释文本.
Q：“是什么语言叫什么语言”与形式语言有什么关系吗？
A: “是什么语言叫什么语言”的概念很大程度上体现在形式语言的概念中。 用于建构描述、解释计算机程序 或语言结构的系统、语言往往形式化程度极高，具备一定的逻辑严谨性和精准表达性能要求 。 形式语言学的许多工具正帮助建构实现对任何特定内容的语法特性精准的“是什么语言叫什么语言”，并以此构建！
Q: 现实意义是什么？
A: 准确界定向定义是什么类型 具有实际应用价值语言能够带来诸多现实意义，其包含语言教学教材精准编写、优化编程语言并创建强大的语法解析器具工具、帮助理解人类自己自然语句模式逻辑构成 ，实现更好的人机交互系统和NLP自然语言处理技术等等 ！