设M是一个NFA，并且L(M)＝{x， y， z}，则M的状态数至少为4个。

• A、正确
• B、错误