Gavin_Bowl

定义Chomsky范式，以及给出上下文无关语言转换为Chomsky范式的标准化流程，以及一些多项式算法。

讨论上下文无关语言相关的判定，很大程度上可以类比正则语言以及非正则语言的学习过程，其中泵定理的使用也具有一定的相似性

牛顿法是一种适用于求解单变量函数的根的技术，此处讨论牛顿法在优化问题中的应用以及一些相应的注意细节。

梯度法的介绍，学习《凸优化教程》的笔记与思考，梯度法的步长的选择性能的评估等方面的介绍，同时举例说明一些局限性

下推自动机(PushDown Autumata)定义 不同于有限自动机，PDA能够“记住”输入串中的一部分字符，具备存储功能。

正则语言和非正则语言的判定方法，阅读教材《Elements of the Theory of Computation》的笔记

语法分析树，阅读《Elements of the Theory of Computation》的笔记