计算机科学学什么语言,在计算机科学中，什么不是正式语言？ [关闭]

让我先谈谈你的问题 . 一个很好的非正式语言的例子是自然语言 . 英语和斯洛文尼亚就是例子 . Tagalog和Tarifit Berber也是如此 . 不幸的是，语言学家似乎没有对所有人都同意的自然语言的定义 .

诺姆·乔姆斯基(Noam Chomsky)在其1956年的论文_2551353中尝试使用无背景伽玛来模拟自然语言 . 他在那篇论文中发明了(或发现，如果你愿意的话);虽然他对英语语言模型没有用，但它们彻底改变了计算机科学 .

形式上，形式语言只是有限字母表中的一组字符串 . 而已 .

示例包括所有有效的C程序，所有有效的HTML文件，所有有效的XML文件，"balanced"括号的所有字符串(例如 (), ()(), ((()))()(()), ... )，始终停止的所有确定性图灵机的集合(某些编码下的代码)，所有简单图形的集合可以使用 k -colors(实际上是某些编码下的代码)着色，所有以 1 开头的二进制字符串的集合等 .

有些使用正则表达式(或者等效地，DFA)很容易识别;有些是不可能使用DFA识别的，但可以使用PDA识别(或者，等效地，可以用无上下文语法描述);其他人不承认这样的描述，但可以通过图灵机识别;有些甚至不是图灵机(称为不可计算机)也无法识别 .

这就是定义如此有用的原因 . 我们在CS evey日遇到的许多事情都可以用正式语言来表达 .

为了对这个主题做一个很好的介绍，我强烈推荐Hopcroft等人出版的“自动机理论，语言和计算简介” .