设M是一个NFA,并且L(M)=｛x,y,z｝,则M的状态数至少为4个。