サブゴールの生成に基づくマイクロプログラム合成手続きの拡張

木下 貴史  直井 徹  恩田 雅隆  今井 正治  

誌名
電子情報通信学会論文誌 D   Vol.J77-D1   No.4   pp.338-340
発行日: 1994/04/25
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: レター
専門分野: 
キーワード: 
抽象データ型,  等式理論,  E単一化,  E単一化子の完全集合,  逐次化問題,  

本文: PDF(176.8KB)>>
論文を購入




あらまし: 
Zhu,Johnsonによるマイクロプログラム合成問題に対して筆者らが以前に提案した,サブゴール生成式手続きの適用範囲を拡張する.これにより,最汎E単一化子が存在する場合にのみ適用可能であった手続きが,この条件が成り立たない場合にも適用できる.