形式语言

本书较详尽地论述了3型文法与有限自动机、2型文法与下推机，并简要地介绍了O型、1型文法与相应的自动机，形成了较完整的理论体系。