本书以四类形式语言和四种自动机为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。
2008.06
本书介绍自动机理论、语言和计算导论的相关知识。
2008.07
本书采用基于物体最小边是矩形（MBR）的主要模型，利用矩形代数方法实现了基于MBR主方向关系运算、一致性检...
2008.02