我们解释什么是形式语言，它们的特征、例子和类型。此外，它与自然语言的差异。
什么是正式语言？
在 计算 和信息科学，当我们提到一种形式语言而不是自然语言时，我们指的是那些系统 标志 被赋予了原始符号和正式指定的使用规则系统，也就是说，被赋予了 字母 和一个 语法 （或者 句法） 正式的：
- 字母表被理解为原始符号的有限和非空集。
- 形式语法被理解为所述字母表的有限组合规则集，以形成具有特定含义的有限链。
在这一点上，它不同于自然语言，自然语言是围绕人类交流的需要而产生的，其中规则复杂而模糊，其含义取决于对语言的解释。 语言符号.出于这个原因，自然语言比阅读一种形式语言要复杂得多。 规则 它们是有限的并且是预先建立的。
正式语言对世界很重要 数学 和 计算，因为它们允许我们创建 代码 人与机器之间的交流，即 编程.我们不应将形式语言与语言的形式层次或 正式语言，这是口头语言的正式、礼貌和正式的使用，而不是它的使用 口语，凌乱和 非正式的.
根据美国语言学家诺姆·乔姆斯基（Noam Chomsky，1928-）的说法，形式语言可以分为四种类型：
- 类型3：正则语言被赋予了正则文法，即可以通过正则表达式得到的规则系统，允许得到所有可能的符号串。
- 类型 2：非语境语言被赋予非语境文法，即它们允许获取所有可能的符号串，但复杂度比常规的高得多。
- 类型 1：具有上下文语法的上下文语言，即允许获得依赖符号的字符串，顾名思义， 语境.
- 类型0：自由语言被赋予自由语法，没有限制，产生递归可枚举的语言。
正式语言的例子
正式语言的例子有：