计算DES监控中优于闭可识别语言的闭可观子语言

摘要

本文给出一种求闭能观子语言的算法，该算法经ｍ步（系统中离散事件个数）收敛；并且证明无论对系统中事件如何排序，由该算法求出的闭能观子语言总包含最大闭可识别子语言。