チューリング‐マシン【Turing machine】
チューリングマシン
(Turing machine から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/12 14:00 UTC 版)
チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である[1]。
注釈
出典
- ^ "チューリングマシン". 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 .
- ^ Emil Post (1936), "Finite Combinatory Processes—Formulation 1", Journal of Symbolic Logic, 1, 103–105, 1936. Reprinted in The Undecidable, pp. 289ff.
- 1 チューリングマシンとは
- 2 チューリングマシンの概要
- 3 歴史
- 4 形式的な定義
- 5 変種
- 6 万能チューリングマシン
- Turing machineのページへのリンク