なぜシミュレーションは機能としてではなくリレーションとして定義されますか?

私はラベル付き遷移システム(LTS)間のシミュレーションに興味があります。

LTSは基本的にリレーショナルシステムであり、特にバイナリ関係記号のみを持つ署名などの構造として見ることができます。

私の理解では、LTS間のシミュレーションは、これらの構造間のある種の形態のものとみなされるべきです。

では、関係構造の準同型ではなく、なぜ合同関係(遷移関係に適合する関係)としてシミュレーションを使用するのですか?

類似性 – 二重類似性の目的のために機能よりも関係をより適切にする理論上の理由はありますか?

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です