形式化语言 背景 之前并没有学习过语言形式化理论这门课，最多也就是了解编译原理，知道有个符号系统能够抽象词法，语法。通过研究这套符合系统的内在规律，给出了验证模型和相应的算法。恩，这就是我所了解的计算机程序原理。本科毕业之后，我觉的自己已经很好地掌握
算法学习之算法思想 一、算法的特征和发展由来算法的英文名称是Algorithm，这个词在1957年之前在Webster's New World Dictionary(《韦氏新世界词典》)中还未出现，只能找到带有它的古代涵义的较老形式的“Algorism”(算术
从“半个宇宙”看未来的AI互联网 之所以写这篇文章，是源自自己对每个领域的专家养成未来需要依赖外部“第二大脑”帮助的这个构想，与半个宇宙对未来AI互联网定位存在千丝万缕的关联；在“第二大脑”关联性方面看，半个宇宙尝试打造一个由个人AI
