江苏大学形式语言与自动机复习资料.docVIP

DFA的形式定义 定义：有穷自动机是一个5元组(Q, ∑, δ, q0, F )，其中 Q是一个有穷集合，叫做状态集； ∑是一个有穷集合，叫做字母表； δ: Q × ∑→ Q是一个转移函数 q0 ∈Q是起始状态 FQ是接受状态集。 DFA计算的形式定义（机器M接受字符串ω） 定义1：设M = (Q, ∑, δ, q0, F )是一台有穷自动机，ω = ω1ω2…ωn是字母表∑上的一个字符串。如果存在Q中的状态序列r0，r1，r2，…，rn，满足下述条件： (1) r0= q0 (2) δ(ri, ωi+1) =ri+1, i = 0, 1, …, n (3) rn∈ F 则M接受ω。 NFA的形式定义 定义：非确定型有穷自动机是一个5元组(Q, ∑, δ, q0, F )，其中 Q是一个有穷状态集； ∑是一个有穷字母表； δ: Q × ∑ε→P(Q)是一个转移函数 q0 ∈Q是起始状态 FQ是接受状态集。 说明：定义中∑ε = ∑∪{ε}，P(Q)表示Q的幂集，是Q的所有子集组成的集合。 NFA计算的形式定义 定义2：设N = (Q, ∑, δ, q0, F )是一台NFA，ω是字母表∑上的一个字符, 如果把ω写成 ω= y1y2…ym，其中yi是∑ε的成员。如果存在Q中的状态序列r0，r1，r2，…，rm，满足下述条件： (1) r0= q0 (2) ri+1 ∈δ(ri, yi+1) , i = 0, 1, …, m-1 (3) rn∈ F 则N接受ω。 说明： 条件1说机器从起始状态开始 条件2说状态ri+1 是处于状态ri读到yi+1时允许的下一个状态集合 条件3表示最后一个状态是接受状态 PDA的形式定义 定义9.1 下推自动机是一个6元组(Q, ∑, Γ, δ, q0, F )，其中Q, ∑, Γ, δ, q0, F都是有穷集合，并且： Q是状态集； ∑是输入字母集； Γ是栈字母表 δ: Q × ∑ε×Γε→ P(Q×Γε)是转移函数 q0 ∈Q是起始状态 FQ是接受状态集。 9.3 下推自动机的计算 定义9.2：设M = (Q, ∑, Γ, δ, q0, F )是一台下推自动机，它接受输入ω = ω1ω2…ωm是输入字母集合∑ε上的一个字符串，并且存在Q中的状态序列r0，r1，r2，…，rm和字符串序列s0，s1，s2，…，sm∈Γ*满足下述3条件： (1) r0= q0且s0 =ε, 表示M从起始状态和空栈开始 (2) 对于i = 0, …, m-1, (ri+1, b) ∈δ(ri, ωi+1,a), 其中si=at , si+1=bt, a, b∈Γε,t ∈Γ* 说明M在每一步都完全按照当时的状态、栈顶符号和下一个输入符号 动作。 (3) rn∈ F，说明输入结束时，停在接受状态。 10.2.3 图灵机的形式定义 定义10.1 图灵机是一个7元组(Q, ∑, Γ, δ, q0, qaccept, qreject )，其中Q, ∑, Γ,都是有穷集合，并且： Q是状态集； ∑是输入字母集, 不包括空白符号_。 Γ是带字母表, 其中空白符号属于Γ，字母表∑包含于Γ δ: Q×Γ→Q×Γ×{L, R}是转移函数 q0 ∈Q是起始状态 qaccept ∈Q是接受状态，qreject∈Q是拒绝状态，且qaccept ≠ qreject 10.2.2 图灵机与有穷自动机的区别 图灵机在带子上既能读，也能写 读写头既能向左移动，又能向右移动 带子是无限长的 进入拒绝或接受状态就停机 定理1：正则语言类在并运算下封闭。 证明：设N1 = (Q1, ∑, δ1, q1, F1 )识别A1，N2 = (Q2, ∑, δ2, q2, F2 )识别A2。构造识别A1∪A2的自动机N = (Q, ∑, δ, q0, F )。 (1) Q = { q0}∪Q1∪Q2 (2) q0是N的起始状态 (3) F = F1∪F2 (4) 定义δ如下：对于每一个q∈Q每一个a∈∑ε, 下式成立： 显然，A1∪A2是自动机N识别的语言，因此是正则语言。 定理2：正则语言类在连结运算下封闭 证明：设N1 = (Q1, ∑, δ1, q1, F1 )识别A1，N2 = (Q2, ∑, δ2, q2, F2 )识别A2。构造识别A1oA2的自动机N = (Q, ∑, δ, q0, F )。 (1) Q = Q1∪Q2 (2) q1是N的起始状态 (3) F = F2 (4) 定义δ如下：对于每一个q∈Q每一个a∈∑ε, 下式成立： 定理3：正则语言类在星号运算下封闭。 证明：设N1 = (Q1, ∑, δ1, q1, F1 )识别A1，构造识别A1*的自动机N = (Q, ∑, δ, q0, F )。 (1) Q = Q1∪{