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