自然语言计算机形式分析是横跨语言学、计算机科学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动通信也是以自然语言为媒介的，它已经渗透到日常生活的各个领域。因此，自然语言计算机形式分析对于国家的信息化建设，对于互联网和移动通信的安全具有重要作用。
本书对自然语言处理中的各种理论和方法进行了系统的总结和梳理。首先讨论了自然语言处理的学科定位；接着介绍了语言计算的一些先驱研究；然后以主要的篇幅讨论自然语言处理中的各种形式模型，包括基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自动处理的形式模型、系统功能语法、语用自动处理的形式模型、概率语法、Bayes公式与动态规划算法、N元语法和数据平滑、隐Markov模型（HMM）、语音自动处理的形式模型、统计机器翻译的形式模型；同时还讨论了自然语言处理系统的评测问题；*后从哲学的角度讨论了自然语言处理中的理性主义和经验主义，探索理性主义方法和经验主义方法相结合的途径。
本书说理透彻、语言流畅、实例丰富、深入浅出，适合从事自然语言处理研究的科研人员、大学师生阅读，也可以作为人工智能、计算语言学等课程的教学参考书。

本书是作者在为中国科学院研究生院和中国邮电大学研究生讲授“知识工程语言学”课程时所写的讲义的基础上完成的。这本书为人工智能、知识工程及相关专业的人员提供了所需的最必要的语言学基础理论和最有用的语言数据，包含对汉语特色的最新认识以及跟英语的对比。它凝聚了作者数十年从事知识工程领域科研工作和坚持不懈钻研语言学的心得。
本书可供从事人工智能、知识工程、自然语言理解、中文信息处理、机器翻译的研究人员参考，也可供从事对外汉语教学、汉语国际推广、英汉对比研究的教师和研究者参考，还可以作为高等院校相关专业的高年级本科生和研究生的选修课教材或参考书。

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的，陸质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

《核心推导语法》（第二版）内容简介
我国流行的句子分析法主要有两种： 传统的句子成分分析法和结构主义的直接成分分析法。前者因为强调结构内核心词的作用，所以又称“中心词分析法”；而后者强调层次，又称“层次分析法”。《核心推导语法》（第二版）从比较这两种分析法的得失出发，提出一种兼顾核心词和层次的“向心层次分析法”和由有限多项式构成的“向心轨层”的语法描写形式和结构观念。
以此为出发点，根据核心词在切分中的“定向”（确定切分深入的方向）、“定界”（确定切分的下限）作用，在《核心推导语法》（第二版）的前半部，也对汉语语法中一些传统的基本问题，如词本位、短语本位和句本位的得失问题，结构核心的判断和内向、外向问题，形式和意义的关系问题，词类问题等，在统一的基础上进行了系统的分析。
《核心推导语法》（第二版）的后半部，根据核心词在结构分析中的“定义”（确定结构成分的范畴）、“定位”（确定成分的位置）作用，以核心所定义的“整体性”（板块）和内、外层为基础，对语序的变换进行了讨论。这些内容，也是形式语法的转换生成语法所讨论的基本现象。本书对这些现象提供了一个建立在认知基础上，从传统语法角度也能理解的功能主义分析、解释。
在上述讨论的基础上，本书最后一章提出一种听话者取向的、动态的句法分析——“同步组块分析”；它既不同于结构主义中静态的和听话者取向的语法分析，也不同于生成语法中动态的、说话者取向的语法分析。“同步组块分析”也是对句法结构分析加以数量化的一个尝试。