WikiDer > Interaktiv hisoblash

Yilda Kompyuter fanlari, interaktiv hisoblash a matematik model uchun hisoblash bu o'z ichiga oladi kirish / chiqish tashqi dunyo bilan aloqa qilish davomida hisoblash. Bu an'anaviy hisoblash tushunchasidan farqli o'laroq, kirishni hisoblashdan oldin o'qishni va chiqishni faqat hisoblashdan keyin yozishni nazarda tutadi va shu bilan "yopiq" hisoblash turini belgilaydi.

The Cherkov-Tyuring tezisi jihatidan hisoblash va hisoblash imkoniyatlarini aniqlashga urinishlar Turing mashinalari. Chunki Turing mashinasi modeli faqatgina qanday hisoblash mumkinligi haqidagi savolga javob beradi funktsiyalari degan ma'noni anglatadi, ammo interaktiv vazifalar har doim ham funktsiyalar uchun kamaytirilmaydi,^{[tushuntirish kerak]} u hisoblash va hisoblashning yanada kengroq sezgisini ushlay olmaydi. Bu yaqinda emas edi^[qachon?] nazariy informatika hamjamiyati interaktiv hisoblashning etarli matematik modellarini aniqlash zarurligini anglaganligi.

Foydalanadi

Hozirgi kunda o'rganilayotgan hisoblashning matematik modellari orasida o'zaro ta'sirni qo'lga kiritishga urinishlar mavjud Giorgi Japaridzedoirasida ishlab chiqilgan qiyin va oson o'ynaydigan mashinalar hisoblash mantig'i, Dina Q. GoldinDoimiy Turing mashinalari (PTM) va Yuriy Gurevich"s mavhum holatdagi mashinalar. Piter Wegner kompyuter fanining ushbu yo'nalishi bo'yicha qo'shimcha ravishda juda ko'p ishlarni amalga oshirdi^{[iqtibos kerak]}.

Shuningdek qarang

• O'rtacha hisoblash
• Hisoblash mantig'i
• O'yin semantikasi
• Insonga asoslangan hisoblash
• Giper hisoblash
• Interaktiv dasturlash
• Membranali hisoblash
• Kvazi-empirizm
• RE (murakkablik)
• Super-rekursiv algoritm

Adabiyotlar

• Interaktiv hisoblash: yangi paradigma ISBN 3-540-34666-X. D. Goldin, S. Smolka va P. Wegner tomonidan tahrirlangan. Springer, 2006 yil.
• D. Goldin, Doimiy Turing mashinalari interaktiv hisoblash modeli sifatida. Kompyuter fanidan ma'ruza matnlari 1762, 116-135-betlar.
• D. Goldin, S. Smolka, P. Atti, E. Sonderegger, Turing mashinalari, o'tish tizimlari va o'zaro ta'sir. J. Axborot va hisoblash 194: 2 (2004), bet 101-128
• P. Wegner, Hisoblashning interaktiv asoslari. Nazariy kompyuter fanlari 192 (1998), 315-351 betlar.

Tashqi havolalar

• Abstrakt holatdagi mashinalar Chiqish sanasi 2009 yil
• [https://en.wikipedia.org/wiki/Abstract_state_machine }