Интерактивные вычисления

Не путать с интерактивными вычислениями .

В информатике связь интерактивные вычисления — это математическая модель вычислений , которая включает в себя ввода/вывода с внешним миром во время вычислений.

Использует

Среди изучаемых в настоящее время математических моделей вычислений, которые пытаются уловить взаимодействие, - машины жесткой и легкой игры Георгия Джапаридзе, разработанные в рамках логики вычислимости , Дины К. Голдин постоянные машины Тьюринга (PTM) и Юрия Гуревича . Абстрактные конечные автоматы . Питер Вегнер также проделал большую работу в этой области информатики. .

См. также

• Цирковое исчисление
• Вычислимая логика
• Семантика игры
• Человеческие вычисления
• Гипервычисления
• Интерактивное программирование
• Мембранные вычисления
• Квазиэмпиризм
• РЭ (сложность)
• Суперрекурсивный алгоритм

Ссылки

• Интерактивные вычисления: новая парадигма ISBN   3-540-34666-X . Под редакцией Д. Голдина, С. Смолки и П. Вегнера. Спрингер, 2006.
• Голдин Д. «Постоянные машины Тьюринга как модель интерактивных вычислений» . Конспекты лекций по информатике 1762 г., стр. 116–135.
• Д. Голдин, С. Смолка, П. Атти, Э. Зондереггер, Машины Тьюринга, переходные системы и взаимодействие . J. Информация и вычисления 194:2 (2004), стр. 101–128.
• П. Вегнер Интерактивные основы вычислений . Теоретическая информатика 192 (1998), стр. 315–351.

Внешние ссылки

• Абстрактные государственные машины УСТАРЕЛИ В 2009 ГОДУ
• [ https://en.wikipedia.org/wiki/Abstract_state_machine }