附录A 形式语言与自动机简介