在研究自然语言时，人们发现名词、动词、介词以及它们的短语之间存在着自然的递归关系，因此引入了 上下文无关文法(CFG) 来帮助整理和理解这种关系。同时，上下文无关文法在程序设计语言的规范化及编译中有重要应用。设计人员在编写程序设计语言的编译器和解释器时，通常需要先获取该语言的文法，因此在大多数的编译器和解释器中都包含了一个 语法分析器 。与上下文无关文法相关的语言集合称为 上下文无关语言(CFL)。

要了解有穷自动机的能力，就必须要了解它们的局限性。我们知道能被一台有穷自动机识别的语言被称为正则语言，但在很多的时候仅凭直观的感觉往往会把我们带入歧途，这就是为什么想当然的事还需要数学证明。为此引入 泵引理 的概念

如果两台机器识别相同的语言，则称它们是等价的。换句话说确定型（DFA）和非确定型（NFA）有穷自动机识别相同的语言类；这个论述似乎出乎意料又是极为有用的。怎么说？出乎意料在于NFA好像比DFA能力更强，因此猜想NFA能识别更多的语言。极为有用在于给定的语言，描述识别这个语言的NFA有时比描述识别这个语言的DFA要容易的多。

上述在讨论的过程中，计算的每一步都按照唯一的方式跟在前一步的后面。当机器处于给定的状态并读入下一个输入字符时，就可以唯一确定下一个状态。因此称这是 确定型计算，在 非确定型 机器中，任何一个点，下一个状态都可能存在若干个 选择。非确定型是确定型的推广，因此每一台确定型有穷自动机（简称DFA）都是一台非确定型有穷自动机（简称NFA）

计算理论要面对的第一个问题是：什么是计算机？现实的计算机相当复杂，很难直接为它们建立一个容易处理的数学理论，因此采用称为 计算模型 的理想计算机来描述，本篇就从最简单的 有穷自动机 讲起。

Abstract Syntax Notation dot one，抽象语法标记，描述了一种对数据进行表示、传输和解码的数据格式。它提供了一整套正规的格式用于描述对象的结构。它包含两部分：一部分描述信息内数据，数据类型及序列格式；另一部分描述如何将各部分组成消息。而不管语言上如何执行及这些数据的具体指代，也不用去管到底是什么样的应用程序

Openssl 库在Windows平台下的编译

Openssl 库在Linux平台下的编译

在 有穷自动机 (或叫状态机) 一文中，简单介绍了自动机的原理，这是人们在面对复杂问题时为了建立数学模型而对问题进行抽象的描述。那么回归到现实问题时，这种抽象的描述又应该怎么落地生根呢？本文借助分析 Openssl 库的握手过程来探讨状态机是如何在程序中发生作用的，因此本文的重点分析状态机的工作过程，对于Openssl库中握手过程的细节不做过多深入。

椭圆曲线和椭圆其实是两种不同的东西，它是指满足特定方程的平面上的点的集合。之所以带上“椭圆”二字，是因为人们在计算椭圆周长引出椭圆积分，第一类椭圆积分的反函数引出椭圆函数，椭圆函数可以参数化为非奇异三次代数曲线，有理域上的非奇异三次代数曲线被取名为 椭圆曲线。