形式化语言

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

业界 2016年06月21日