让 Nf 和 Np 分别表示非确定性有限自动机和非确定性下推自动机接受的语言类别。让 Df 和 Dp 分别表示确定性有限自动机和确定性下推自动机接受的语言类别。以下哪一项是正确的?
(A) Df ⊂ Nf 和 Dp ⊂ Np
(B) Df ⊂ Nf 且 Dp = Np
(C) Df = Nf 和 Dp = Np
(D) Df = Nf 和 Dp ⊂ Np答案： (D)
说明：确定性下推自动机可以识别所有确定性上下文无关语言，而不确定性下推自动机可以识别所有上下文无关语言。前者主要用于解析器设计(来源：http://en.wikipedia.org/wiki/Pushdown_automaton)。确定性上下文无关语言 (DCFL) 是上下文无关语言的适当子集。
非确定性有限自动机和确定性有限自动机都接受相同的语言集，因为 NFA 可以使用子集构造算法转换为等效的 DFA。
这个问题的测验