语言与机器计算机科学理论导论 原书第3版

本书介绍了形式语言、自动机、可计算性、计算复杂性等内容。

C语言程序设计理论与实践

本书是计算机方面的专著，主要讲述C语言程序设计与理论实践，包括程序设计基础、Visual C++6.0、数据类型、运算符与表达式、顺序结构程序设计、选择结构程序设计、循环结构程序设计以及部分项目实践等内容。...

形式语言与自动机理论教学参考书 第2版

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

自然语言处理基本理论和方法

本书一共9章，可以分成两个部分。第一部分是第1～5章，介绍自然语言处理的基础知识，包括字符集的编码体系、语言计算模型、语言学资源建设等。第二部分是第6～9章，介绍自然语言处理的基本技术，包括自然语言的词法分......

可计算性复杂性语言 理论计算机科学基础

语言与机器 计算机科学理论导论 第3版 影印版

本书介绍计算机科学的基础知识，以及各种算法的能力和局限性。

程序设计语言理论

本书为研究生系列教材之一。本书基于一个叫做λ演算的数学系统，而不是特定程序设计语言来分析程序设计语言的语法性质、操作性质和语义性质。全书强调顺序语言，但是其中许多概念和技术可以应用到并行程序设计...

形式语言与自动机理论引论

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

C程序设计实训理论教程 C语言版

本书分基础篇、应用篇和提高篇，介绍了程序设计基础内容，不同领域的应用实例以及一些常用算法。全书采用C语言为程序描述语言，所有实例均经过测试和验证。本书适合高等院校程序设计基础课程使用，也可供对C语言及...

F#语言及其在自动机理论中的应用

本书在讲述函数式编程语言F#基础知识的基础之上，详细介绍利用F#解决DFA，NFA、-NFA的描述和互相转化问题，DFA、正则表达式和正则表达式、-NFA之间的转化问题，下推自动机的瞬时描述问题，对确定性图灵机也做了相关...