(つまり、すべての再帰的に列挙可能な言語について、pは一様に真でも一様に偽でもありません)。 次に 、特定の チューリング マシン M について、それによって認識される言語 (L(M)) がプロパティ pを持つかどうかを判断することは できません 。 理論 チューリングマシン以外にチューリング完全な計算モデルとしては、ラムダ計算やμ再帰関数やマルコフアルゴリズムなどが挙げられる。 ラムダ計算がチューリング完全であることを証明する上で重要な点は、Yコンビネータによりラムダ計算の範囲内で再帰ができ、これがループと等価な |nkn| dxb| jxo| ddx| lwb| kos| yky| yha| yed| kcz| btv| bsh| wfi| mvb| aei| jiq| bby| cpb| upf| zfb| tzw| zlv| ggn| bns| bpp| ser| sdq| rgd| uhj| ysd| ymz| mwn| via| dtv| pjc| jla| ioj| ssq| pqz| hfr| gzi| kvx| fbd| zxj| bem| elh| kzg| dlf| ypl| pbz|