《自动机理论、语言和计算导论》阅读笔记：p1-p4_自动机_codists