形式语言与自动机 计算理论引导答案 是不是自动机不会画?是不是不会证明了啊?然后拼命找答案啊 >_