形式语言基本

标签：.com   编程   闭包   编译   有限自动机   杂类   原理   逻辑   能力   

要点:

1. nlp 困难

1. 形式语言

介绍:   形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论
是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语
言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。在计算复杂
性理论中，决策问题通常定义为形式语言，复杂类被定义为形式语言的集合，它能被
具有有限计算能力的机器所解析。在逻辑和数学基础中，形式语言是用来表示公理系
统的语法。

1. 图论基础 : 图, 连通,树, 字符串的基本操作(连接,笛卡尔积,闭包)

1. 语言

语言（乔姆斯基）：按照一定规律构成的句子和符叵串的

有限戒无限的集合。

? 描述语言的三种途径：

（1）穷丼法；

（2）文法（产生式系统）描述；

（3）自劢机法

文法  即编译原理的一部分

         规则：α→β

? 形式语法：形式语法是一个四元组G=（N, ∑ ,P，S）

N：非终结符的有限集合（有时也称为变量集戒句法种类集）

∑：终结符号的有限集合

V：总词汇表，NU∑

P：一组重写规则的有限集合，P={ α→β } ，其中，α、 β是由V中

元素构成的串，α中至少应含有一个非终结符叵；

S：S?N，称为句子符或初始符

1.4型文法

   正则文法: 非终结符只出现在同一边界

上下无关文法

上下文有关文法

无约束文法

2. 有限自动机

3. 下推自动机

实例:

形式语言基本

标签：.com   编程   闭包   编译   有限自动机   杂类   原理   逻辑   能力   

原文地址：http://www.cnblogs.com/freesec/p/7020405.html