在形式语言中，方法G是一个四元组G=(VN，Vr，P，Z),其中VN为(6)。若方法G的产生式集P为：　　(1)Z→Bc　(2)Z→Zc　(3)B→Ab　(4)B→Bb　(5)A→Aa　(6)A→a　　则文法G是(7)文法，识别G的自动机为(8)。对于G来说，(9)为文法G可接受的字符串，(10)为文法G不可接受的字符串。
(6)
A、状态标志符
B、开始符
C、语句集
D、非终结符集合
(7)
A、短语
B、上下文有关
C、上下文无关
D、正则
(8)
A、图灵机
B、下推自动机
C、有穷状态自动机
D、线性界限自动机
(9)
A、aaabc
B、acbb
C、acbcab
D、acbbca
(10)
A、abbcc
B、acbc
C、aaabc
D、aabbccc