讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。