已知文法G(S)为:S→if S else S | if S | a