Question

编译原理，求文法的问题

n,m,i都是幂
l1={anbnci|n>=1,i>=0}
l2={aibncn|n>=1,i>=0}
l3={anbnambm|n,m>=0}
l4={1n0m1m0n|n,m>=0}
求这四个语言的相应文法
我自己的答案是：
l1:s->asb|ab|sc
l2:s->as|bsc|bc
l3:s->ss|ab|asb|空字
l4:S->10|1A0|A
A->01|0A1|空字
不知道对不对，请指教！

Answer 1

l1:S->aS|bX
X->bX|cY
Y->cY|ε
l2:S->MbXcY
M->aM|ε
X->bX|ε
Y->cY|ε
例:bc,abc,abbc
l3:S->MX
M->aMb|ε
X->aXb|ε
例:ab,aabbab
l4:S->1S0|X|ε
X->0X1|ε
例:100110,10,1010