要點:

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. 下推自動機

實例:

形式語言基本