共用题干题对于文法G[s]:S → 0B |εA → 0S | 1AAB → 1S | 0BB

符号串11AOS是否为G [S]的句型? 试证明你的结论。