作者：
出版社：
本书简述形式语言的基本内容，包括文法的分类、构造方法和语言间运算的封闭性；系统地论述三类有限自动机：有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言的角度和自动机识别语言的角度对语言进行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。
本书主要内容包括：想念那话语之乡——《童年的月亮爬上来》教学记录；语言的狂欢与精神的自由——《这里有个颠倒的世界》教学记录；回互其辞的智慧——《谜之谜》教学记录等。
本书收录了《寻找书生》、《两只小鸟》、《就送一本书》、《美丽的延误》、《可爱的指挥》、《我的语文童年》、《在文字里一任天真》、《铃声是否依旧》等文章。
