B语言与方法 实用形式化开发指南 【工业技术】

形式语言与自动机导论 原书第3版 【工业技术】

本书主要介绍形式语言、自动机、可计算性和相关方面内容。

形式语言与自动机导论 英文版 第3版 【工业技术】

本书精辟地阐述了计算课程的入门理论。

形式语言与自动机理论教学参考书 第2版 【工业技术】

本书是《形式语言与自动机理论》配套的教学参考书。

形式语言与自动机 【工业技术】

本书扼要地介绍了形式语言与自动机的基本体系，是高校学习理论计算机科学技术基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机...

自然语言处理的形式模型 【工业技术】

本书对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自...

软件工程形式化方法与语言 【工业技术】

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

形式语言与自动机理论引论 【工业技术】

本书照我国计算机相关学科研究生教育的现状需要编写，结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分9章，介绍语言与文法，正则语言的文...

室内设计形式语言 【工业技术】

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

西方最新语言学理论译介丛书 走近形式语用学 【工业技术】

本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句...