可将该 84 最小化:
终 态 组 为 <)/= , 非 终 态 组 为 <= , <)/=
<)/=,<)/=<=,所以 )/ 为等价状态,可合并。
第四章 文法和语言
问答第 1 题
写一文法,使其语言是偶正整数的集合。 要求:
允许 打头;
)不允许 打头。
答 :允许 开头的偶正整数集合的文法
H71>
1H71>
7H>>>0>I>J
H>)>/>K>L
)不允许 开头的偶正整数集合的文法
H71>
1H81>M
7H>>>0>I>J
H)>/>K>L
8H7>
MH>
问答第 2 题
证明下述文法 M:〈表达式〉;是二义的。
〈表达式〉∷>〈表达式〉>〈表达式〉
〈运算符〉〈表达式〉 〈运算符〉∷.>N>?>
答:可为句子 .? 构造两个不同的最右推导
最右推导 〈表达式〉 〈表达式〉〈运算符〉〈表达式〉
〈表达式〉〈运算符〉
〈表达式〉?
〈表达式〉〈运算符〉〈表达式〉?
〈表达式〉〈运算符〉?
〈表达式〉.?
.?
最右推导 )〈表达式〉 〈表达式〉〈运算符〉〈表达式〉
〈表达式〉〈运算符〉〈表达式〉
〈运算符〉〈表达式〉
〈表达式〉〈运算符〉〈表达式〉
〈运算符〉
〈表达式〉〈运算符〉〈表达式〉 ?
〈表达式〉〈运算符〉?
〈表达式〉.?
.?
问答第 3 题
令文法 M:;为:
H1>.1>N1
1H8>1?8>18
8H>#
证明 .1?8 是它的一个句型,指出这个句型的所有短语、
直接短语和句柄。
答 : 因为存在推导序列 .1 . ?8所以
.1?8 是文法 M:;的一个句型
句型 .1?8 的
短语有.1?81?8
直接短语有1?8
句柄为1?8
问答第 4 题
给出生成下述语言的上下文无关文法:
()<
$
$
(
(
>$,(O=
()) <
$
(
(
$
>$,(O=
答: H44
4H4>P
)
H>4
4H4>P
问答第 5 题
给出生成下述语言的三型文法:
<
$
(
>$(O=
)<
$
(
+
>$(+O=
答: H4
4H4>2
2H2>