考虑图中所示的非确定性有限自动机 (NFA)。 
状态 X 是自动机的起始状态。令 NFA 接受的以 Y 作为唯一接受状态的语言为 L1。类似地，让 NFA 接受的以 Z 作为唯一接受状态的语言为 L2。下列关于 L1 和 L2 的说法中哪一项是正确的?
问题更正：
Z->Y 中的一条边标记为 0，Y->Z 中的另一条边标记为 1 – 代替双箭头和无箭头边。
(A) L1 = L2
(B) L1 ⊂ L2
(C) L2 ⊂ L1
(D)以上都不是答案：(一)
说明：根据阿登定理，
对于 y 作为最终状态：
Y = X0 + Y0 + Z1 对于 z 作为最终状态：
Z = X0 + Y0 + Z1 因此，
L(Y) = L(Z) 所以，选项(A)是正确的。
这个问题的测验