自然语言、形式语言——Linux C编程一站式学习

自然语言

自然语言就是人类讲的语言，比如汉语、英语，是自然进化而得来的。

形式语言

形式语言是为了特定应用而人为设计的语言。比如数学家用的数字和运算符号、化学家用的分子式。编程语言就属于形式语言，目的就是计算。
具有严格的语法规则【由符号和结构的规则组成】

自然语言和形式语言的不同

某种意义上，形式语言和自然语言之间的不同正像诗歌和说明文的区别。

1. 歧义性
   自然语言充满歧义，人们通过上下文的线索和自己的常识来解决这个问题。形式语言的设计要求是清晰的、毫无歧义的，这意味着每个语句都必须有确切的含义而不管上下文如何。
2. 冗余性
   为了消除歧义减少误解，自然语言引入了相当多的冗余。结果是自然语言经常说得啰里啰嗦，而形式语言则更加紧凑，极少有冗余。
3. 与字面意思的一致性
   自然语言充斥着成语和隐喻，我在某种场合下说“The other shoe fell”，可能并不是说谁的鞋掉了。而形式语言中字面意思基本上就是真实意思，也会有一些例外。

对于程序而言，计算机程序是毫无歧义的，字面和本意高度一致，能够完全通过对词和结构的分析加以理解。