摘要：
在科学的眼界之中，没有学科，只有问题和问题的解决方法......不要只见树叶，不见森林。————蔡曙山 语言哲学是现代哲学的分支 现代哲学又是哲学的一个分支 形式语言：数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 形式系统：在 阅读全文
摘要：
推荐阅读：http://www.360doc.cn/mip/112377.html（认知科学——在自然科学和社会科学的交叉点上） 计算：以机械而有效的方式，获取问题答案的过程 自动机理论：研究抽象机器以及其能解决问题的理论。 自动机以形式语言为处理对象，语言以自动机为形式定义 克林闭包 正闭包 语言 阅读全文