操作的意味論と状態遷移系間の類似点
操作的意味論と状態遷移系は(ユニオンペディアに)共通で2ものを持っています: 双模倣性、抽象機械。
双模倣性
双模倣性(そうもほうせい、Bisimulation)とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは(ラベル付き)状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。.
抽象機械
抽象機械(抽象コンピュータとも呼ばれる)は、オートマトンで利用される、コンピュータハードウェアやソフトウェアシステムの理論上モデルである。 計算処理の抽象化は、計算機科学と計算機工学の両方の分野で行われ、通常は離散時間パラダイムを仮定している。.
上記のリストは以下の質問に答えます
- 何操作的意味論と状態遷移系ことは共通しています
- 何が操作的意味論と状態遷移系間の類似点があります
操作的意味論と状態遷移系の間の比較
状態遷移系が9を有している操作的意味論は、22の関係を有しています。 彼らは一般的な2で持っているように、ジャカード指数は6.45%です = 2 / (22 + 9)。
参考文献
この記事では、操作的意味論と状態遷移系との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: