Модель обчислення: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Створена сторінка: '''Модель обчислення''' в інформатиці, а особливо у Теорія обчислюванос...
 
Немає опису редагування
Рядок 19:
 
==Категорії==
Існує безліч моделей обчислень, що відрізняються в наборі допустимих операцій та вартістю їх обчислень. Їх можна розділити на такі обширні категорії як [[Автомат (дискретна математика)|автомат]] та їй еквівалентні (Наприкладнаприклад, [[Лямбда-числення|Лямбда-числення]] еквівалентне [[Машина Тюрінга|машинімашини Тюрінга]]). Вони
використовуються в доказах обчислюваності та верхньої межі обчислювальної складності алгоритмів. Також існують [[Модель дерева рішень|моделі дерева рішень]], що використовуються у доказах нижніх меж обчислюваної складності алгоритмічних задач.
 
==Див.також==
* {{не перекладено|Стек-машина|Стек-машина|en|Stack machine }} (0-operandоперандна machineмашина)
* [[Акумулятор (процесор)]] (1-operandоперандна machineмашина)
* {{не перекладено|Регістрові машини|Регістрові машини|en|Register machine }} (2,3,... operandоперандна machineмашина)
* [[РАМ-машина]]
* {{не перекладено|Cell-probe модель|Cell-probe модель|en|Cell-probe model }}