ポスターセッション発表概要
圏論を用いた同期回路-ステートマシン対応の一般化
○西村 俊二,尼崎 太樹,末吉 敏則(熊本大学自然科学研究科)
D-FF同期回路と有限ステートマシンの一対一対応はよく知られているが,本研究では圏論を用いてD-FF・回路・ステートマシンのそれぞれを抽象化し,それらの上で同期回路とステートマシンの一対一対応を示す.この新しい対応関係は元の対応関係を含む一般化となっているだけでなく,D-Latch同期回路や2段D-FF回期回路とステートマシンの対応など,新たな知見をもあわせて提示する.
《ポスターセッション一覧》