单项选择题
以下文法对应的语言是（）。（以下出现的n均为整数）
A.B.C.D.
A.∀x（O（x）→∀y（P（y）→¬D（x）））B.∀x（O（x）→∃y（P（y）∧¬D（x）））C.∃x（O（x）∧∃y（P（y）∧¬D（x）））D.∃x（O（x）→∀y（P（y）→¬D（x）））
A.∀x（E（x）→∀y（D（x，y）→E（x）））B.∀x（E（x）→∀y（D（x，y）∧E（x）））C.∃x（E（x）→∃y（D（x，y）→E（x）））D.∃x（E（x）∧∃y（D（x，y）→E（x）））
对应的语言是（）。（以下出现的n均为整数）
对应的语言是（）。（以下出现的n均为整数）