T_Jumping的博客

形式语言和自然语言本质上都是一种符号系统，形式语言是人为的设计的，而自然语言则是在人类进化过程中自然演化的。自然语言的发展是先出现语音的区别来表意，接着出现文字，而数字的出现则要晚很多。数字的出现则是人类发现了数量这一信息时，产生了数的意识。当古代人在需要记录一些数时，就开始使用一些符号来保存自己的记忆，此时就涉及到了表示形式和表示规则的建立，所以在当时世界上相距较远的地方交流基本上没有的时代产生

自然语言是思维的载体，逻辑是思维的规律和规则，由此可以推出自然语言是逻辑的载体，将形式逻辑在形式上符号化、数学化后，即是数理逻辑形式语言既是形式逻辑的载体，又是数理逻辑的载体数学函数是对应关系，反映事物之间的映射规则，是对关系的一种限制有些问题不容易找到程序式的过程或步骤，主要是不易梳理出顺序式的算法步骤，...

状态机在离散数学中可以用有向图来表示，在形式语言中可以用五元组表示。状态机由一组节点和一组相应的转移函数组成，状态机通过响应一系列事件而“运行”。这让我想起了动态规划中的状态转移方程，状态机由状态寄存器和组合逻辑电路构成，能够根据控制信号按照预先设定的状态进行状态转移，是协调相关信号动作,完成特定操作的控制中心。状态机是一种计算模型，不同种类的状态机的计算能力不同，图灵机也是一种状态机...