スキャン拡張同期化Abstract本論文では、部分スキャンを用いて有限状態機械を同期化する問題について考察する。はじめに部分スキャンを用いた有限状態機械の同期化の原理を示し、通常入力とスキャン入力を組み合わせて有限状態機械を同期化する拡張同期化系列を提案する。次に最小個のスキャン可能な状態変数で有限状態機械を同期化可能とする問題、および、スキャン可能な状態変数の個数が与えられたとき最短の拡張同期化系列を求める問題について考察する。Version出版社版Rightsここに掲載した著作物の利用に関する注意:本著作物の著作権は(社)情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。従うことをお願いいたします。Japan.本文データは学協会の許諾に基づきCiNiiから複製したものである。(082)830-1659tosho-repo&m.hiroshima-cu.ac.jp(&を@に置き換えてください。