双模倣性からの派生
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/05 10:13 UTC 版)
場合によっては条件を加えて双模倣性を修正する場合がある。例えば、状態遷移系が見えない動作を伴う場合(外部の観測者からは見えない動作)、そのような外部から見えない動作を無視して双模倣性をゆるめ、「弱い双模倣性」とすることもできる。 一般に状態遷移系はプログラミング言語の操作的意味論を与える。その場合、双模倣性の厳密な定義はそのプログラミング言語の条件に固有のものとなる。したがって、一般に状況によって複数種類の双模倣性関係が存在しうる。
※この「双模倣性からの派生」の解説は、「双模倣性」の解説の一部です。
「双模倣性からの派生」を含む「双模倣性」の記事については、「双模倣性」の概要を参照ください。
- 双模倣性からの派生のページへのリンク