形式言語における文字列(もしくは数学的オブジェクト)に数を対応させること。そうすれば数の理論で扱える。 enc([x1,x2,..xn]) = 2^x1 3^x2 5^x3 ...pn^xn 素因数分解の一意性があるので1対1(nが無限だとどうなるの?)そうすると推論が関数化される。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。