equivalentsSREEPとはシフトレジスタ等価回路のためのプログラムです。Programの略です。シンボリックシミュレーションにより、シフトレジスタ等価回路に関する各種問題を計算します。詳しくは、関連文献を参照してください。SREEPの主な機能は以下の通りです。シフトレジスタ等価回路を列挙シフトレジスタ等価回路の合成シフトレジスタ等価回路の分析シフトレジスタ等価回路とシフトレジスタの状態対応関係の計算シフトレジスタ等価回路の安全状態を同定する問題の計算SREEPの使い方SREEPの配布パッケージは、ZIPアーカイブ形式です。解凍してからご利用ください。AT&T)が必要です。辞書データ(標準でステージ2〜5の辞書を収録。X)sreep.jarを右クリック(またはcontrolキーを押しながらクリック)して「開く」を選択してください。10.8以降はダブルクリックでは起動しません。)※動作しない場合は、Javaが有効になっているかご確認ください。解凍した配布パッケージのディレクトリに移動。[CiNii]ダウンロードSREEPはフリーウェアです。ZIP形式の配布パッケージが以下のリンクよりダウンロード可能です。