有时候我们想在 Python 中做一些测试，比如测试刚写的类的方法是否运行正常，或者测试代码是否产生预期异常。这种情况下使用 unittest 是麻烦且费事的，因为我们需要直观的在代码中看到这些测试，并且能运行这些测试。

$L^AT_EX$ 是一种基于 $T_EX$ 的排版系统，利用这种格式，可以迅速生成复杂表格和数学公式等，对于我们写博客帮助十分大。

文法的定义和记号

$$ G = (V_N, V_T, P, S) \qquad (V_N \cap V_T = \varnothing, V_N \cup V_T = V) $$

是 N.Chomsky 在 1956 年描述形式语言时首先给出的。同时，Chomsky 还对产生式的形式给以不同的限制而定义了四类基本的文法，分别称之为 0 型文法，1 型文法，2 型文法和 3 型文法。

年轻人的第一个通配符证书！(*^_^*)

更新以前博客的内容发现，关于 SSH 公钥登录的坑一直没填，就趁今晚写了写。