形式化语言

背景  之前并没有学习过语言形式化理论这门课，最多也就是了解编译原理，知道有个符号系统能够抽象词法，语法。通过研究这套符合系统的内在规律，给出了验证模型和相应的算法。恩，这就是我所了解的计算机程序原理。本科毕业之后，我觉的自己已经很好地掌握了计算机（组成，结构和程序）。但我不太懂：计算机干了什么，以致我们需要它？  首先，这不是一个好问题？为什么，因为这个问题有问题，有歧义

业界 2016年06月21日

算法学习之算法思想

一、算法的特征和发展由来算法的英文名称是Algorithm，这个词在1957年之前在Webster's New World Dictionary(《韦氏新世界词典》)中还未出现，只能找到带有它的古代涵义的较老形式的“Algorism”(算术)，是指用阿拉伯数字进行算术运算的过程。在中世纪时，珠算家用算盘进行计算，而算术家用算术进行计算。根据经验和发展结论得出，算法应该具有如

业界 2016年08月07日

VR 不完全科普指南

一、上帝的画笔你有没有想过创造一个世界？或者，如果让你当创世神的话，你知道该怎么构造这个世界吗？千百年来，人类一直试图回答这个问题：用语言、用图像、用视频

交互体验 2023年10月13日

从“半个宇宙”看未来的AI互联网

之所以写这篇文章，是源自自己对每个领域的专家养成未来需要依赖外部“第二大脑”帮助的这个构想，与半个宇宙对未来AI互联网定位存在千丝万缕的关联；在“第二大脑”关联性方面看，半个宇宙尝试打造一个由个人AI

产品经理 2024年07月24日