如有一方当事国不履行执行法院判决义务时，另一方当事国可向（）提起申诉。
A.国际法院
B.联合国大会
C.联合国秘书长
D.安理会
参考答案：D
现存的脊椎动物主要包括__________、__________、爬行类、________和哺乳类动物。（请按低等到高等写出）
在形式语言中，若文法G的产生式集P为：
(1)Z→Bc(2)Z→Zc(3)B→Ab(4)B→Bb(5)A→Aa(6)A→a
则文法G是 (1) 文法，识别G的自动机为 (2) 。对于G来说， (3) 为文法G可接受的字符串， (4) 为文法G不可接受的字符串。
供选择的答案：
3（）
A．aabcab
B．aacbb
C．aaabc
D．acbacbca
