视频： https://www.bilibili.com/video/BV1gA411F7su?spm_id_from=333.999.0.0
    image.png
    image.png
    image.png
    image.png
    PDA： 处理的是上下文无关的语言
    image.png
    不可判定问题例子：图灵停机问题

    题目一：如何判断能否被4整除
    image.png
    最后接触状态的0边写错了
    image.png
    修正，注意和错误的区别
    反转好像没有讲完。奥最后是只要有一种选择让他接受就接受
    image.png
    image.png
    image.png

    image.png
    如果一个语言能用有限状态自动机解决，那么他的补语言也能用FSM解决
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    *成为克莱宁星号运算
    image.png
    image.png
    并集，头尾加节点，表示新的起始 和 接受状态
    比如 能被3整除， 能被5整除，注意：并集表示或者的关系，能被3整除或5整除。
    image.png
    连接关系
    image.png
    空的时候
    image.png
    星号再星号，不一定跟星号等价
    image.png
    image.png
    贪心不能得到最优解：
    例子：限重100的背包，物品最大价值比的是91: 90，剩下的10个物品是10:9.1
    image.png
    image.png
    被2整除的正则表达式
    image.png
    被3整除的
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png

    image.png
    image.png
    所有自然数的表达式
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png
    image.png