Atitit 语言分类 形式语言 目录 1. 形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 1 1.1. 形式语言理论是用数学方法研究自然语言(如英语

Atitit 语言分类 形式语言

 

目录

1. 形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。 1

1.1. 形式语言理论是用数学方法研究自然语言(如英语)和人工语言(如程序设计语言) 1

1.2. 形式语言学 2

2. 形式语言的特点 4

2.1. 1,高度的抽象化(采用形式化的手段-专用符号,数学公式-来描述语言的结构关系,这种结构关系是抽象的) 4

2.2. 2,是一套演绎系统(形式语言本身的目的就是要用有限的规则来推导语言中无限的句子,提出形式语言的哲学基础也是想用演绎的方法来研究自然语言) 4

2.3. 3,具有算法的特点.(比如说句法分析中采用不同的算法来构造句子的句法推导树) 4

3. 乔姆斯基把文法分成4种类型，即0型，1型，2型，和3型 4

3.1. 。0型文法也称短语文法，0型文法的能力相当于图灵机（Turing）， 4

3.2. 2型文法也称上下文无关法，其能力相当于非确定的下推自动机。 5

3.3. 3型文法也称右线性文法，由于这种文法等价于正规式，所以也称正规文法。 5

3.4. 从文法描述语言的能力来说，0型文法最强，3型文法最弱。 5

4. 形式语言与自然语言有两个重要的区别。 5

4.1. 形式语言的界限是明确的，而自然语言的界限往往不明确。 5

4.2. 其次，自然语言不管如何庞大，它总是有限的。形式语言则以无限的语言为主要研究对象。 5

5. 常见形式语言 6

5.1. 例如数学家用的数字和运算符号 6

5.2. 、化学家用的分子式等。 6

5.3. 编程语言也是一种形式语言，是专门设计用来表达计算过程的形式语言。 [2] 6

5.4. 6

 

 

1. 形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。
   1. 形式语言理论是用数学方法研究自然语言(如英语)和人工语言(如程序设计语言)

 

形式语言（Forma