> w = aa
> s1= bb
> s2= ab
> z = aaabb
> 这一组数据，我是这么理解它的一次操作：  遍历w，碰到a就用s1替换，碰到b就用s2替换。
> 所以，对于这一组数据的第一次操作就是：w 的两个a被s1替换了，变成了bbbb
> 第二次操作：就变成了 abababab，所以就不能变成z了
> 
> 晕，这样理解肯定错的，但是我找不到怎么样替换才能转成 z  ....
> 
productions:
a -> aa
b -> bb

initial string:
ab

first change all 'a's to aa
ab ---> aab
then change all 'b's to bb
aab ---> aabb
then change all 'a' to aa
aabb ---> aaaabb

now the string "aaabb" can match "aaaabb" with a prefix of "a" and a suffix   of "" from SIGMA*