Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
| Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (лютий 2018) |
Модель обчислення в інформатиці, а особливо у теорії обчислюваності та теорії складності обчислень — це визначення множин допустимих операцій, що використовуються при обчисленні, та їх відповідні витрати. Вона використовується у обчисленні складності алгоритму або проблеми, для вирішення якої вона була створена. Це допомагає дослідити продуктивність алгоритмів незалежно від варіантів, специфічних для конкретних імплементацій та конкретних технологій.
| Модель обчислення | |
| Досліджується в | теоретична інформатика |
|---|---|
| Представляє | розрахунок |
 Модель обчислення у Вікісховищі | |
Моделі
Деякі приклади моделей обчислення:
Застосування
У галузі фази життєвого циклу програми аналізу алгоритмів треба зазначити обчислювальну модель у термінах дозволених «примітивних операцій», які мають вартість одиниці або просто «операції з вартістю один». Найпоширенішим прикладом є RAM-машина, яка має вартість одиниці для доступу до читання та запису в усіх комірках пам'яті. У цьому відношенні він відрізняється від вищезгаданої моделі машини Тюрінга.
У [en], модель розрахунку пояснює, що поведінка всієї системи є результатом поведінки кожного з її компонентів.
Ключовий момент, про який часто забувають, полягає в тому, що зазначені нижні межі для задач часто ставляться для моделі обчислення, яка більш обмежена, ніж набір операцій, які можна використовувати на практиці. Тому можуть існувати алгоритми, які будуть працювати швидше, ніж можна буде вважати можливим.
Категорії
Існує безліч моделей обчислень, що відрізняються в наборі допустимих операцій та вартістю їх обчислень. Їх можна розділити на такі загальні категорії як автомат та їй еквівалентні (наприклад, Лямбда-числення еквівалентне машини Тюрінга). Вони використовуються в доведеннях обчислюваності та верхньої межі обчислювальної складності алгоритмів. Також існують моделі дерева рішень, що використовуються у доведеннях нижніх меж обчислюваної складності алгоритмічних задач.
Див. також
- [en] (0-операндна машина)
- Акумулятор (процесор) (1-операндна машина)
- Регістрові машини (2, 3, … операндна машина)
- RAM-машина
- [en]
Список літератури
- Examples of the price of abstraction? [ 25 листопада 2010 у Wayback Machine.], cstheory.stackexchange.com
Додаткові джерела
- (2009). Models of Computation: An Introduction to Computability Theory. Undergraduate Topics in Computer Science. Springer. ISBN .
- (1998). . Архів оригіналу за 12 жовтня 2016. Процитовано 19 грудня 2017.
 | Це незавершена стаття з інформатики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya mistit pravopisni leksichni gramatichni stilistichni abo inshi movni pomilki yaki treba vipraviti Vi mozhete dopomogti vdoskonaliti cyu stattyu pogodivshi yiyi iz chinnimi movnimi standartami lyutij 2018 Model obchislennya v informatici a osoblivo u teoriyi obchislyuvanosti ta teoriyi skladnosti obchislen ce viznachennya mnozhin dopustimih operacij sho vikoristovuyutsya pri obchislenni ta yih vidpovidni vitrati Vona vikoristovuyetsya u obchislenni skladnosti algoritmu abo problemi dlya virishennya yakoyi vona bula stvorena Ce dopomagaye dosliditi produktivnist algoritmiv nezalezhno vid variantiv specifichnih dlya konkretnih implementacij ta konkretnih tehnologij Model obchislennya Doslidzhuyetsya vteoretichna informatika Predstavlyayerozrahunok Model obchislennya u VikishovishiModeliDeyaki prikladi modelej obchislennya Mashina Tyuringa Skinchenni avtomati Rekursivni funkciyi Lyambda chislennya Kombinatorna logika Klitinnij avtomat en en Merezha procesiv KanaZastosuvannyaU galuzi fazi zhittyevogo ciklu programi analizu algoritmiv treba zaznachiti obchislyuvalnu model u terminah dozvolenih primitivnih operacij yaki mayut vartist odinici abo prosto operaciyi z vartistyu odin Najposhirenishim prikladom ye RAM mashina yaka maye vartist odinici dlya dostupu do chitannya ta zapisu v usih komirkah pam yati U comu vidnoshenni vin vidriznyayetsya vid vishezgadanoyi modeli mashini Tyuringa U en model rozrahunku poyasnyuye sho povedinka vsiyeyi sistemi ye rezultatom povedinki kozhnogo z yiyi komponentiv Klyuchovij moment pro yakij chasto zabuvayut polyagaye v tomu sho zaznacheni nizhni mezhi dlya zadach chasto stavlyatsya dlya modeli obchislennya yaka bilsh obmezhena nizh nabir operacij yaki mozhna vikoristovuvati na praktici Tomu mozhut isnuvati algoritmi yaki budut pracyuvati shvidshe nizh mozhna bude vvazhati mozhlivim KategoriyiIsnuye bezlich modelej obchislen sho vidriznyayutsya v nabori dopustimih operacij ta vartistyu yih obchislen Yih mozhna rozdiliti na taki zagalni kategoriyi yak avtomat ta yij ekvivalentni napriklad Lyambda chislennya ekvivalentne mashini Tyuringa Voni vikoristovuyutsya v dovedennyah obchislyuvanosti ta verhnoyi mezhi obchislyuvalnoyi skladnosti algoritmiv Takozh isnuyut modeli dereva rishen sho vikoristovuyutsya u dovedennyah nizhnih mezh obchislyuvanoyi skladnosti algoritmichnih zadach Div takozh en 0 operandna mashina Akumulyator procesor 1 operandna mashina Registrovi mashini 2 3 operandna mashina RAM mashina en Spisok literaturiExamples of the price of abstraction 25 listopada 2010 u Wayback Machine cstheory stackexchange comDodatkovi dzherela 2009 Models of Computation An Introduction to Computability Theory Undergraduate Topics in Computer Science Springer ISBN 978 1 84882 433 1 1998 Arhiv originalu za 12 zhovtnya 2016 Procitovano 19 grudnya 2017 Ce nezavershena stattya z informatiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi