@article{oai:fukuyama-u.repo.nii.ac.jp:00008113, author = {渡辺, 浩司 and 猪飼, 武夫 and 福永, 邦雄}, journal = {福山大学工学部紀要}, month = {Dec}, note = {P(論文), A state identification method for a finite state machine (FSM) using an adaptive homing sequence is well-known in the automata theory. The method is off-line one, and therefore can not be applied to a FSM in operation. On the other hand, in the linear system theory, there exists an on-line state estimator called a state observer (SO) which performs state estimation of a linear system. In this paper, we construct such an SO for a Moore machine, and characterize an input sequence to a target machine by which the SO converges and discuss a class of the input sequences. Moreover we represent the FSM and its SO by state space models as well as state transition functions. The state space model representation enables us to have a good insight into the subject and bring linear algebraic approaches into the automata theory.}, pages = {131--136}, title = {有限状態機械の状態観測器}, volume = {26}, year = {2002} }