在形式语言中，方法G是一个四元组G=(VN，Vr，P，Z),其中VN为（ ）。若方法G的产生式集P为：(1)Z→Bc (2)Z→Zc (3)B→Ab (4)B→Bb (5)A→Aa (6)A→a则文法G是（ ）文法，识别G的自动机为（ ）。对于G来说，（ ）为文法G可接受的字符串，（ ）为文法G不可接受的字符串。