チューリング完全な
意味
- 形 チューリング完全な
例文
コアイメージ
単純な計算の組み合わせによって、原理上どのような計算にも対応できる広がり
ドイツ語での定義
Eine formale Sprache oder ein Rechensystem ist turingmächtig, wenn es jede von einer Turingmaschine ausführbare Berechnung nachbilden kann.
語源
turingmächtigは、計算理論を築いたAlan Turingの姓Turingと、力を表すmächtigから成る形容詞
コラム
- turingmächtigな仕組みでも、実際の計算は時間やメモリの上限により途中で止まることがある
おすすめの単語帳
1 / 1