Интерактивные вычисления - Interactive computation
В Информатика, интерактивное вычисление это математическая модель для вычисление это включает ввод, вывод общение с внешним миром в течение вычисление. Это контрастирует с традиционным пониманием вычислений, которое предполагает чтение ввода только перед вычислением и запись вывода только после вычисления, таким образом определяя своего рода «закрытые» вычисления.
В Тезис Черча-Тьюринга пытается определить вычисление и вычислимость в терминах Машины Тьюринга. Поскольку модель машины Тьюринга дает только ответ на вопрос, какая вычислимость функции значит, но интерактивные задачи не всегда сводятся к функциям,[требуется разъяснение ] ему не удается уловить более широкое представление о вычислениях и вычислимости. Это не было до недавнего времени[когда? ] что сообщество теоретиков информатики осознало необходимость определения адекватных математических моделей интерактивных вычислений.
Использует
К числу изучаемых в настоящее время математических моделей вычислений, которые пытаются уловить взаимодействие, относятся: Георгий Джапаридзе игровые автоматы, разработанные в рамках логика вычислимости, Дина К. Голдин постоянные машины Тьюринга (PTM) и Юрий Гуревич с абстрактные машины состояний. Питер Вегнер дополнительно проделал большую работу в этой области информатики[нужна цитата ].
Смотрите также
- Циркулярное исчисление
- Логика вычислимости
- Семантика игры
- Человеческие вычисления
- Гипервычисления
- Интерактивное программирование
- Мембранные вычисления
- Квазиэмпиризм
- RE (сложность)
- Суперрекурсивный алгоритм
использованная литература
- Интерактивные вычисления: новая парадигма ISBN 3-540-34666-X. Под редакцией Д. Гольдина, С. Смолки и П. Вегнера. Спрингер, 2006.
- Д. Гольдин, Постоянные машины Тьюринга как модель интерактивных вычислений. Конспект лекций по информатике 1762, стр. 116-135.
- Д. Гольдин, С. Смолка, П. Атти, Э. Сондереггер, Машины Тьюринга, системы переходов и взаимодействие. J. Информация и вычисления 194: 2 (2004), стр. 101-128.
- П. Вегнер, Интерактивные основы вычислений. Теоретическая информатика 192 (1998), стр. 315-351.