考虑图中所示的非确定性有限自动机(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)以上都不是答案： (A)
说明：根据雅顿定理，
对于y作为最终状态：
Y = X0 + Y0 + Z1 对于z作为最终状态：
Z = X0 + Y0 + Z1 因此，
L(Y) = L(Z) 因此，选项(A)是正确的。
这个问题的测验