令Nf和Np分别表示非确定性有限自动机和非确定性下推自动机所接受的语言类别。让Df和Dp分别表示确定性有限自动机和确定性下推自动机所接受的语言类别。以下哪一项是TRUE?
(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。
这个问题的测验