対話型計算

コンピュータ科学において、対話型計算とは、計算中に外部世界との入出力通信を伴う計算の数学的モデルのことである。

現在研究されている、相互作用を捉えようとする計算の数学的モデルには、計算可能性論理の枠組みの中で精緻化されたギオルギ・ジャパリゼのハードプレイマシンとイージープレイマシン、ディナ・Q・ゴールディンのパーシステントチューリングマシン（PTM）、そしてユーリ・グレヴィッチの抽象状態マシンなどがある。ピーター・ウェグナーも、このコンピュータサイエンスの分野で多大な研究を行っている。

• 循環計算
• 計算可能性論理
• ゲーム意味論
• 人間による計算
• ハイパーコンピューティング
• インタラクティブプログラミング
• 膜コンピューティング
• 準経験主義
• RE（複雑性）
• 超再帰アルゴリズム

• 対話型計算：新しいパラダイムISBN 3-540-34666-XD. ゴールディン、S. スモルカ、P. ウェグナー編。シュプリンガー、2006年。
• D. Goldin、「対話型計算のモデルとしての永続チューリングマシン」、Lecture Notes in Computer Science 1762、pp.  116-135。
• D. Goldin、S. Smolka、P. Attie、E. Sonderegger、「チューリングマシン、遷移システム、および相互作用」、J. Information and Computation 194:2 (2004)、pp.  101-128
• P. Wegner、「対話型コンピューティングの基礎」、 Theoretical Computer Science 192 (1998)、pp.  315-351。

• 抽象状態機械（ 2009年版は既に時代遅れ）
• [ https://en.wikipedia.org/wiki/Abstract_state_machine }