仕様符号

実現しうる振る舞いの有限集合を $B$、$|B| = N$ とします。指示（プロンプト）を有限のビット列とみなし、指示から振る舞いへの決定的な写像 $D : \{0,1\}^{*} \to B$ を固定します（$D$ はモデルと復号手続きを合わせたものです）。$D$ が全射であるとき、すなわち $B$ のどの振る舞いもある指示によって得られるとき、$D$ を $B$ の仕様符号と呼びます。指示 $w$ の長さを $|w|$ と書きます。