编译原理【文法设计】—设计每个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个数不相等的所有串 
