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