计算机理论基础
2017-03-19
正则集、正则式，右线性文法，正则表达式与有限自动机之间的图示关系，右线性语言与有限自动机之间的关系。
2017-03-18
确定的/非确定的有限自动机，带/不带 ε 转移的非确定有限自动机以及各自之间的等价性。
2017-02-25
这个寒假遇到的一些问题让我想起之前形式语言与自动机的内容，程序执行的本质是状态的变化，我觉得有必要将这部分理论捡起来，需要的时候方便自己回忆。