取值于完备格的同步机及其最小实现化

Synchronous machines valued in complete lattices and their smallest realization

首先给出了取值于完备格的同步机以及它的可达性、可观测性的定义,得到了取值于完备格的同步机的两个基本结论:值有限性及序引理。其次,利用值有限性质及序引理,进一步给出了取值于完备格的同步机的最小实现化问题,并证明了可达且可观测的取值于完备格的同步机就是最小实现化的同步机。

The concepts of the synchronous machines valued in complete lattices and the accessibility,the observability are introduced.Two basic conclusions are given：The property of finite values and the ordering lemma.And by the two conclusions,the smallest realization of the synchronous machines valued in complete lattices is studied.It shows that the synchronous machine which is accessible and observed is the smallest realization of synchronous machine.