理论计算机学

Formale Sprachen

语言问题(Wortproblem)：给定一个字符串，这个字符串是由某个语法生成的吗？也就是它是否符合某个语法规则。

识别器(Recognizer): 一个能解决对应语法的语言问题的抽象

基本概念

定义2.1

• 一个字母表(Alphabet) 是一个有限集合。比如 ASCII, Unicode

• 一个语句(Wort/String) 是从字母表中组合出的有限字母序列，比如 010

• 指代语句的长度

• 空字符串是 $$

• 若 是语句，那么 是它们的组合(Konkatenation)

• 若 是一个语句，那么 是如下定义的：

• 是字符集 的所有语句

• 子集 是一个语言(formale Sprache)

定义2.3 语言的操作

• 连接:

计算规则

定义 2.7 语法

一个语法(Grammatik)是4元组

是变量符号集合(Menge von Nichtterminalzeichen), 它是组织语言的字符。

是字符集(Menge von Terminalzeichen)

是Produktionen的有限集合

是其实字符

一些约定

• 和 是 Nichtterminale,

• 是Terminale

• Produktion 写成 ,代替

• 多个Produktion：

比如算数表达式

• 如下:

定义2.9

一个语法 有一个推导关系 (Ableitungsrelation) 在 上： 当且仅当： 里有一个规则 和语句 ，使得 比如，下面的两个表达式可以互相转换(Term可以拆开来看，也可以组合起来看)： 一个序列 是从 到 的推导(Ableitung)

若 且 那么 生成了(erzeugt)

的语言是所有 能生成的语句的集合, 记为

定义2.12 推导的迭代

也就是推导多次的关系： 写成闭包： 于是语言的定义还可以这样：

乔姆斯基谱系(Chomsky-Hierarchie)

一个语法 是：

• Typ 0 (Phrasenstrukturgrammatik )全部都是
• Typ 1 (Kontextsensitive Grammatik)若对于每个Produktion 除了 满足 。也就是每次不会减少长度
• Typ 2 (Kontextfreie Grammatik)若它是Typ 1 且对于每个 Produktion ,满足
• Typ 3 ( Rechtslineare Grammatik)若是 Typ 2, 若对于每个Produktion 除了 满足

正则表达式

定义3.1 确定有限自动机Deterministische endliche Automaten（DFA）

是一个确定有限状态自动机

• 有限的状态集合

• 有限的输入字符集Eingabealphabet

• 一个完全(total)的传递函数

• 一个开始状态

• 终止状态的集合

定义3.2 语言

被 接受的语言是 其中 是递归定义的： 一个语言是正则的(regulär)，当且仅当它被一个 所接受

的性质

定义3.8 非确定有限自动机（NFA）

是一个非确定有限自动机

• 和DFA一样

image-20210514082957779

定理 3.9 rechtslineare Grammatik和NFA

对于每个rechtslineare Grammatik 存在一个 NFA 使得

定理 3.10 DFA和NFA

对于每个NFA 存在一个 DFA 使得

定理 3.12 DFA 的状态

每个 DFA ,且 有至少 个状态

定理 3.13 DFA和 G

对于每个 DFA , 存在一个 rechtslineare Grammatik 使得

定义 3.15 (-NFA)

一个 NFA 带有 -传递 (-NFA) 是一个 NFA, 它带有一个特殊字符

定理3.16 (-NFA)和 NFA

对于每个 -NFA 存在一个 NFA 使得

定义 3.19 正则表达式

正则表达式是归纳定义的：

• 是一个正则表达式

• 是一个正则表达式

• 对于每个 是一个正则表达式

• 当 是正则表达式时

  是正则表达式

• 其他都不是正则表达式

定义 3.20 正则表达式的语言

对于一个正则表达式 ， 如下定义

定理 3.23 Kleene

一个语言可以通过正则表达式表达，当且仅当它是正则的

定理 3.34 运算

若 是正则语言，那么 也是正则语言

定理 3.25

若 和 都是DFA 那么他们的乘法自动机Produkt-Automat是 是 DFA， 它接受

定义 3.26 等价

两个正则表达式是等价的，当且仅当他们有相同的语言

定理 3.27 0和1

定理3.28 运算法则

• 结合律

• 交换律

• 分配率

• 幂等元

定理 3.29 运算法则2

定理 3.31 Redko

不存在有限的等价关系集合，从中可以推出其他所有的等价关系

定理 3.32 Pumping Lemma fur reguläre Sprachen

若 是正则的，那么存在一个 ,使得每个 且 可以分解为 ， 其中

定理 3.33 非正则1

语言 不是正则的

定理 3.34 非正则2

语言 不是正则的

定理 3.35 括号式子

通过括号 括起来的式子不是正则的

定理3.36 数学公式

数学公式 arithmetischen Ausdrücken 不是正则的

定义 3.37 问题分类

设 是一个 DFA, NFA, RE, rechtslineare Grammatik …

• Wortproblem： 给定 和 ，是否
• Leerheitsproblem : 给定 ， 是否
• Endlichkeitsproblem: 给定 , 是否有限
• Äquivalenzproblem：给定 是否满足

定理 3.38 Wortproblem

给定 和 DFA , Wortproblem是可以在 确定的

定理 3.39 Wortproblem

给定 和 NFA , Wortproblem是可以在 确定的

定理 3.40 Leerheitsproblem

对于 NFA和DFA， Leerheitsproblem可以分别在时间 和 中确定

定理 3.41 Endlichkeitsproblem

对于 DFA和NFA，Endlichkeitsproblem是可以确定的

定理3.42 Aquivalenzproblem

对于DFA， Aquivalenzproblem 是可以确定的

定理 3.43 Aquivalenzproblem 时间

对于 DFA， Aquivalenzproblem 可以在 中确定

定理 3.44

对于NFA， Aquivalenzproblem 可以在 中确定

定理 3.45

对于正则表达式，Aquivalenzproblem 是可以确定的

定理3.47 Ardens Lemma

用于解方程，解出正则表达式

Minimierung endlicher Automaten

image-20211012183354987

首先×掉所有终止状态和非终止状态的对，然后考虑每个对，看它下一个位置是不是一样的。如果有不一样的就x掉.

Definition 3.52 (Äquivalenz von Zuständen)

定理 3.56

若 是 DFA且没有无法到达的状态，那么 是最小的DFA

Satz 3.60 (Myhill-Nerode)

一个语言是正则的，当且仅当它有有限个等价类

Kontextfreie Sprache

定义 4.18

一个 CFG 是mehrdeutig 的，若有一个 ，它的Syntaxbaum有多个

定理 4.20

是mehrdeutig 的

Chomsky-Normalform

只有

-Produktion

Kettenproduktion

构造Chomsky-Normalform

1. 对于每个 构造
2. 换成
3. 消除所有 -Produktion
4. 消除所有 Kettenproduktion

Satz 4.29 (Pumping-Lemma)

对于 kontextfreie Sprache 存在一个 使得 且 分解成 使得

Abschlusseigenschaften

CFG 是对于 闭合

但是对于交集和补集不是

ist kontextfrei

ist kontextfrei

ist nicht kontextfrei

4.6 Algorithmen fur kontextfreie Grammatiken

• nützlich 存在从 推导出字符，其中 出现
• erzeugend 从 可以推导出
• erreichbar 从 可以到大

nützlich 符号是erzeugend 和erreichbar

Satz 4.36 减少 CFG

1. 消除 nicht erzeugend 符号
2. 消除 nicht erreichbar 符号

定理 4.37

erzeugend 符号的集合， erreichbaren 符号的集合是可计算的

定理 4.39

CFG 是否是 是可以决定的

CYK

image-20211012185656965

栈自动机PDA

可以操控一个栈并且push和pop的自动机

DPDA

要么每个字符只有一个，要么只有一个

DCGF

被 DPDA接受的CFG

每个正则语言都是 DCFG

Satz 4.66

DCFG 对于补集操作闭合

DCFL不是多意性的

Satz 4.70

Das Wortproblem fur DCFLs ist in linearer Zeit 可解决

image-20211012190351368

可决定性可计算性

对于一个函数

• total 对于所有 , 有定义
• partiell 可以没有定义
• echt partiell 不是total的

图灵机TM

有状态，可以操控指针左移右移

如果没有状态了就停止

Satz 5.22 (WHILE → TM)

Jede WHILE-berechenbare Funktion ist auch Turing-berechenbar.

Fakt 5.23 (WHILE → GOTO)

Satz 5.24 (GOTO → WHILE)

Satz 5.27 (TM → GOTO)

5.2 Unentscheidbarkeit des Halteproblems

可决定性

若 可计算

定义 5.31

是 输入

是 输入 并且停止了

Definition 5.32 (Spezielles Halteproblem)

给定 , 是否能停止

Satz 5.33

Das spezielle Halteproblem ist nicht entscheidbar.

Definition 5.34 ((Allgemeines) Halteproblem)

给定 , 是否能停止

Das Halteproblem H ist nicht entscheidbar.

Definition 5.36 (Reduktion)

Eine Menge ist reduzierbar auf eine Menge gdw es eine totale und berechenbare Funktion gibt mit 写作 Falls und ist entscheidbar, so ist auch entscheidbar.

Satz 5.40

Das Halteproblem auf leerem Band, , ist unentscheidbar

Satz 5.48 (Rice)

是可计算函数的集合

trivial:

Alle nicht-triviale semantische Eigenschaften von Programmen sind unentscheidbar.

Satz 5.50 (Rice-Shapiro)

Die Menge der terminierenden Programme ist nicht semi-entscheidbar.

Die Menge der nicht-terminierenden Programme ist nicht semi-entscheidbar.

可以一个一个尝试

Definition 5.52 (Postsche Korrespondenzproblem, Post’s Correspondence Problem, PCP)

Das PCP ist semi-entscheidbar.

Satz 5.61

对于 CFG 下面的问题是不可决定的

1. G 多意性
2. L(G) 正则
3. DCFL

复杂度理论

P问题

存在DTM在多项式时间内解决

NP问题

存在NTM在多项式时间内解决

Satz 6.10

A ∈ NP gdw es gibt polynomiell beschränkten VerifikaSatz 6.10tor für A.

NP完全

polynomiell reduzierbar

NP-hart

是NP-hart，当且仅当对于所有 ,

NP 完全

是 NP-hart

SAT

一个逻辑式子是否可以被满足

3KNF-SAT

每个里面只有3个变量