compiler-习题解答-补充习题-文法和语言（一）.docVIP

L(G) = { an|n≥0 } 解答:S→aS|ε L(G) = { an|n≥1 } 解答:S→aS|a ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anbm |n≥1, m≥1 } 解答:→AB A→aA|a B→bB|b G2: S→aA 　　 A→aA|B　　 B→bB|L(G) = { anbm |n≥0, m≥0 } 解答:→AB A→aA|ε B→bB|ε G2: A→aA|B　　 B→bB|ε^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anbmck |n, m, k≥0 } 解答:S→aS|B B→bB|C C→cC|ε ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anbn | n≥0 } 解答:S→aSb |ε L(G) = { anbn | n≥1 } 解答:S→aSb | ab ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anban | n≥0 } 解答:G: S→aSa | b L(G) = { anban | n≥1 } 解答:G1: S→aSa | aba G2: S→aAa A→aAa | b ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anbmcm | n≥0,m≥1 } 解答:G[S]: S→AB A→aA|ε B→bBc|bc L(G) = { anbmcm | n≥1,m≥0 } 解答:G1[S]: S→AB A→aA|a B→bBc|? ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { anbnambm | n≥0,m≥0 } 解答:G2: S→AB A→aAb|ε B→aBb|ε G1: S→AA A→aAb|ε ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { 1n0m1m0n | n,m≥0 } 解答: G: S→1S0 | A A→0A1 | ε ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ L(G) = { WaWr | W∈{0|a}*，Wr表示W的逆序 } 解答: G: S→0S0 S→aSa S→a 文法和语言(一) 2 文法和语言(一)