数学的符号语言与形式语言

      形式语言和自然语言本质上都是一种符号系统，形式语言是人为的设计的，而自然语言则是在人类进化过程中自然演化的。形式语言包括数学符号，编程语言，化学式等。自然语言的发展是先出现语音的区别来表意，接着出现文字，而数字的出现则要晚很多。数字的出现则是人类发现了数量这一信息时，产生了数的意识。当古代人在需要记录一些数时，就开始使用一些符号来保存自己的记忆，此时就涉及到了表示形式和表示规则的建立，所以在当时世界上相距较远的地方交流基本上没有的时代产生了很多不同的数字符号系统。比如：阿拉伯数字，罗马数字，中国数字等。阿拉伯数字完全使用形状的变换表示了10个基本数字（0-9），而罗马数字同时使用形状的变换和数量的变换并且没有0的概念。阿拉伯数字的这种表示形式大大简化了数字的记录和识记。后来人们从计数到发现了数字之间的一些关系，对一些规律设计了规则，这些规则就是运算。

      运算符号也是很形象的，很容易记忆的，就好像编码一样，如果符合人的理解和记忆规律，那么这些符号就会很好的流传下来，否则就会被淘汰。比如：将-（减号）用作加法规则，而将+（加号）用作减法规则，这都是可以的，但是这样给人的直观感觉和形象不是那么的准。在化学元素周期表中，其中日语版的表示方式则很麻烦，规律性不够强，不容易记忆，从下表的对比可以看出，由我国徐寿首创的化学元素的命名就很易于识记。

化学部分常用元素名称

元素符号	中国语	日本语
Al	铝	アルミニウム
k	钾	カリウム
Ca	钙	カルシウム
Si	硅	ケイ素
H	氢	水素
Li	锂	リチウム
Mg	镁	マグネシウム

      数学使用符号语言进行表述，使得表意更加严谨和完备，而自然语言表述则十分模糊，而且存在歧义，前者表达的也更精准。

      通过学习形式语言与自动机，我对编程语言有了更加深入的认识，现在的所有编程语言大概都是上下文无关语言，都是通过文法生成的，这是语言本身就符合的一些规则和逻辑，在自动机接收和识别的前提下，用这些语言表示逻辑和计算，才使得计算机的能力变得很强大。但是在计算机语言中是没有隐喻和修辞的，而隐喻是自然语言中对人类的创造性起到了启发式的作用。