©2024 Thoth Children All rights reserved.

チューリングマシン

データの読み書きが可能なヘッドと無限の長さのテープまた機械の内部状態を持つようなと仮想的な計算機ないし計算モデル.頻繁に使用される計算モデルの一つ.
2018.12.2
  • 27
    Views
  • 0
    Watch
  • 2
    Knows

チューリングマシンの新規投稿

ライスの定理
「プログラムAがある性質Fを持つかどうかが自明でないときそれを判定できるプログラムは存在しない」ことを示す定理.このライスの定理はチューリングマシンの停止性問題を一般化したものになっている.
PV 153
Fav 0
2018.12.02
チューリングマシンの停止性問題
停止性問題は、任意のプログラムが任意の入力が与えられて停止するかどうかを判定するプログラムは存在するかに関する問題.存在しないことが背理法によって示すことが可能.
PV 609
Fav 0
2018.12.02

チューリングマシン人気知識・質問

チューリングマシンの停止性問題
停止性問題は、任意のプログラムが任意の入力が与えられて停止するかどうかを判定するプログラムは存在するかに関する問題.存在しないことが背理法によって示すことが可能.
PV 609
Fav 0
2018.12.02
ライスの定理
「プログラムAがある性質Fを持つかどうかが自明でないときそれを判定できるプログラムは存在しない」ことを示す定理.このライスの定理はチューリングマシンの停止性問題を一般化したものになっている.
PV 153
Fav 0
2018.12.02