0235132人目の素数さん垢版 | 大砲2018/08/26(日) 14:29:58.23ID:T0UhBmfF 普通のビジービーバー関数の場合 L : 2記号のチューリングマシンすべて a(n) : nステートのチューリングマシン S : 自然数全体 b(l) : チューリングマシンlが停止する場合は停止時の1の個数、停止しない場合は'undeflined' C([自然数の部分集合], n) : [自然数の部分集合]の最大値