非阻塞监控器设计中的语言优化方法

Formulas for Class of a Lm(G)-Closed Sublanguages that Arise in Nonblocking Supervisor Synthesis

本文研究在设计非阻塞监控器时所涉及到的语言的优化方法，首先给出了Lm（G）闭语言的计算公式，然后提出了能控Lm（G）闭子语言的逐级优化途径．对于目前获得的部分优化语言的封闭解进行了总结，并对各语言类之间的关系进行了分析．

This paper studies the way to find supremal sublanguages of a given language that arise insupervisor synthesis. A formula for calcu1ating Lm(G) -closed sublanguage is given,some procedures to findcontrollable and/or observable Lm(G) -closed languages are developed. Then,some closed form solutions areconcluded and their relationship are discussed in brief.