编译原理【文法设计】—设计每个a后面至少一个b、ab个数相等,ab个数不相等的文法
为字母表 Σ = { a , b } Σ=\{a,b\} Σ={a,b}上的下列每个语言设计一个文法
(a) 每个a后面至少有一个b的所有串
- 首先,每个a后面至少有一个b的正规式怎么写呢?
- 每个a都需要至少跟一个b,那么可以用
ab
表示 - 那么这个串的前面可以有若干个a或者若干个b或者他们的任意组合,那么保证有了ab以后,在它的前面或者后面都添加若干个a或b
- 则正规式为:
(ab|b)*
,这样得到了上述语言的正规式 - 那么文法怎么写呢?直观的看,该正规式可以推到ab之后跟任意ab或者b的串,可以推到空串,也可以推到b开头后续跟任意ab或b的串
- 则用一个文法符号S表示,可以推到如下文法
- S → a b S S → b S S → ϵ S→abS\\ S→bS\\S→\epsilon S→abSS→bSS→ϵ
- 这个文法就满足
- 可以推到
ab
开头之后跟任意ab
或者b
的串 - 可以推到
b
开头后续跟任意ab
或b
的串 - 可以推到空串
- 可以推到
(b)a和b个数相等的所有串
- S → a B ∣ b A ∣ ϵ A → a S ∣ b A A B → b S ∣ a B B S→aB|bA|\epsilon\\A→aS|bAA\\B→bS|aBB S→aB∣bA∣ϵA→aS∣bAAB→bS∣aBB
- 上述文法怎么得到的呢?
- 如下:
(c)a和b个数不相等的所有串