チューリングマシン
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/05/30 02:39 UTC 版)
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2011年12月) |
注釈
出典
- ^ "チューリングマシン". ASCII.jpデジタル用語辞典. コトバンクより2022年2月2日閲覧。
- ^ Turing, A. M. (1937). “On Computable Numbers, with an Application to the Entscheidungsproblem” (英語). Proceedings of the London Mathematical Society s2-42 (1): 230–265. doi:10.1112/plms/s2-42.1.230 .
- ^ Post, Emil L (1936). “Finite combinatory processes—formulation”. The journal of symbolic logic (Cambridge University Press) 1 (3): 103-105. doi:10.2307/2269031 .Reprinted in The Undecidable, pp. 289ff.
- 1 チューリングマシンとは
- 2 チューリングマシンの概要
- 3 歴史
- 4 形式的な定義
- 5 変種
- 6 万能チューリングマシン
- チューリングマシンのページへのリンク