程序设计语言的形式语义

本书是计算机专业本科生研究生形式语义学教材。

室内设计形式语言

本书从涉及室内设计领域的一些基本概念的分析入手，以20世纪西方现代建筑理论为背景，从哲学、符号学、语言学、心理学等角度，对建筑领域的总体趋势进行了理论概括；对建筑形式的发展历史进行回顾；对室内设计语言的...

形式语言与自动机及程序设计

本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...

形式语言

本书共分8章

建筑形式语言

形式语言与自动机

程序语言的形式规范概论

形式语言与自动机

形式语言与自动机

形式语言

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