形式化语言

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

业界 2016年06月21日

Petri网介绍

Petri网是一种可以用网状图形表示的系统模型。并发系统中遇到的一个主要问题是定时问题。这个问题可以表现为多种形式，如同步问题、竞争条件以及死锁问题。定时问题通常是由不好的设计或有错误的实现引起的，而这样的设计或实现通常又是由不好的规格说明造成的。如果规格说明不恰当，则有导致不完善的设计或实现的危险。用于确定系统中隐含的定时问题的一种有效技术 是 Petri 网，这种技术的

业界 2016年06月24日

良心推荐：一份20周学习计算机科学的经验贴（附资源）

这里是，油管Artificial Intelligence Education专栏，原作者Siraj Raval，原标题 Computer Science Curriculum。这是一份五个月（20个星期）学习计算机科学的经验贴，希望帮助你跟我一样从入门到精通。传统的大学开设 ACS 专业，主要是引导学生从毫无任何编程经验，到对计算机科学领域的一些相关学科有一个较为宽泛的认

业界 2018年05月09日