再帰と複製
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/03 08:13 UTC 版)
ここまで説明した操作は有限の相互作用だけであり、停止しない場合も含む完全な計算を表すには不十分である。再帰(Recursion)操作と複製(Replication)操作は、有限の記述で無限の振る舞いを表せる。再帰は逐次モデルでもよく使われる。複製 ! P {\displaystyle !P} は、可算無限個のプロセス P {\displaystyle {\mathit {P}}} の並列合成を表すと理解できる。 ! P = P | ! P {\displaystyle !P=P\vert !P}
※この「再帰と複製」の解説は、「プロセス計算」の解説の一部です。
「再帰と複製」を含む「プロセス計算」の記事については、「プロセス計算」の概要を参照ください。
Weblioに収録されているすべての辞書から再帰と複製を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から再帰と複製 を検索
- 再帰と複製のページへのリンク