同調系列をもつ順序機械の諸性質

概要

論文の詳細を見る
A sequential machine has a finite number of internal states, and its behavior is described by the state transition table. In general, the state transition of a machine by the given input sequence depends on what state it happens to start in. Asynchronizing sequence, however, always leaves the machine in a specific final state, regardless of its initial state. The existence of such a synchronizing sequence and the method how to find it have already been known. But any precise definition of synchronization has never been given. In this paper, the idea of partial synchronizatioll which is related to the subset of given states is introduced in order to establish the fundamental definition of complete synchronization. By the application of this partial synchronization to machines which have state partitions, some theorems concerning with complete synchronization of machines with S.P. partitions are obtained. Furthermore, the error correcting capacity of sequential machines with the synchronizing sequence is discussed in the cases that machin6s have, or don't have, S.P. partitions.
長崎大学工学部,Faculty of Engineering, Nagasaki Universityの論文