抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Iaonovはオペレーションの詳細を省きプログラムの逐次的制御的性質を表現する抽象的概念-プログラム図式-を定義し,これに対し計算に対応する概念および図式の等値性を定義し,図式の等値性の決定手段と与えられた図式と等値友図式を求める演繹的公式を与えた。この論文はIanovの結果を解説しその簡単化を行政いまたその一般化と拡張について論じた。まず有限オートマトンの理論を援用し図式等値問題の簡単なアルゴリズムを与える。さらに拡張概念に対する等値問題は有限オートマトンの等値問題そのものであることを指摘し,また与えられた図式に等値なすべての図式を求める簡単な手続も示している;参5