北京邮电大学 2022——2023 学年第 二 学期《形式语言与自动机》期末考试试题 (A卷)

北京邮电大学 2022——2023 学年第 二 学期

《形式语言与自动机》期末考试试题 (A卷)

一．（10 分）

1. 设 T={0，1}，请给出下列语言的文法。
   L={0ⁿ1^m1^m0ⁿ | n、m ≥0}。

2. 设 T={a}，请给出下列语言的文法。
   L={a^4n-1 | n ≥1}。

二．（10 分）

已知右线性文法 G，用正则式表示文法所产生的语言。
G=({S,A,B,C},{a,b,c,e},P,S),生成式 P 如下：
S→aA
S→B
A→bS
A→bB
B→e
B→cC
C→be

三．（10 分）

构造识别语言 L={ambnck|m,n,k≥0} 的DFA，并采用格局的方法写出 aaabb 的识别过程。

四．（10 分）

请将下列文法转换为等价的 NFA：
S→0A | 1B
A→1 | 10C
B→0 | 0C
C→0B | 1A

五．（10 分）

使用泵浦引理，证明语言 L={ (ab)ⁿ a^m | n > m, m > 0} 不是正则集。

六．（10 分）

考察下面文法，写出 --a-aa 的所有最左推导树，并指出该文法是否具有二义性。
E→-EE
E→-E
E→a | b | c

七．（8 分）

消除下列文法中的无用符号：
S→DC | AE | DB
A→a
B→aC | b
C→CB | DC
D→a

八．（12 分）

构造CFG产生语言 L={1ⁿ0^m | n > m > 0 }，构造等价的下推自动机，并采用格局的方法写出 11100 的识别过程。

九．（10 分）

设 M=({q₀,q₁,q₂},{0,1},{0,1,B},δ,q₀，B,{q₂})，其中 δ 的定义如下：
δ(q₀,0) = (q₀,0,R)
δ(q₀,1) = (q₁,1,R)
δ(q₁,0) = (q₁,0,R)
δ(q₁,B) = (q₂,B,R)
请根据此定义,给出 M 识别字符串 00001000 的过程。

十．（10 分）

构造图灵机接受语言 L= { (0)ⁿ1^m | n=2m, m ≥0 }。