Модель вычислений
- Иные значения см. разделе в Компьютерное моделирование.
Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения. Охарактеризовать необходимые вычислительные ресурсы — время выполнения, объём памяти, а также ограничения алгоритмов или компьютера — можно только в том случае, если выбрана определённая модель вычислений.
В модельно-ориентированной инженерии модель вычислений и её выбор дают ответ на вопрос, как ведёт себя система в целом, если известно поведение её отдельных частей.
При асимптотической оценке сложности вычислений модель вычислений определяется через допустимые примитивные операции с известной ценой.
Известен целый ряд моделей вычислений, зависящих от набора применяемых операций и их вычислительной сложности. Они распадаются на следующие большие категории: абстрактные машины (абстрактные вычислители), используемые для доказательства вычислимости и получения верхней границы вычислительной сложности алгоритма, и модели принятия решений, используемые для получения нижней границы сложности вычислений для алгоритмических задач.
См. также
- Теория вычислений
- Стратегия вычислений
- Семантика (программирование)
- Колмогоровская сложность
- Лямбда-исчисление
- Лямбда-исчисление с типами
- Комбинаторная логика
- Аппликативные вычислительные системы
- Категориальная абстрактная машина
- Суперкомбинаторы
- Машина Поста
- Машина Тьюринга
Примечания
Ссылки
У этой статьи есть несколько проблем, помогите их исправить: |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Модель вычислений, Что такое Модель вычислений? Что означает Модель вычислений?
Inye znacheniya sm razdele v Kompyuternoe modelirovanie Teoriya vychislimosti i teoriya slozhnosti vychislenij traktuet model vychisleniya angl model of computation ne tolko kak opredelenie mnozhestva dopustimyh operacij ispolzovannyh dlya vychisleniya no takzhe i otnositelnyh izderzhek ih primeneniya Oharakterizovat neobhodimye vychislitelnye resursy vremya vypolneniya obyom pamyati a takzhe ogranicheniya algoritmov ili kompyutera mozhno tolko v tom sluchae esli vybrana opredelyonnaya model vychislenij V modelno orientirovannoj inzhenerii model vychislenij i eyo vybor dayut otvet na vopros kak vedyot sebya sistema v celom esli izvestno povedenie eyo otdelnyh chastej Pri asimptoticheskoj ocenke slozhnosti vychislenij model vychislenij opredelyaetsya cherez dopustimye primitivnye operacii s izvestnoj cenoj Izvesten celyj ryad modelej vychislenij zavisyashih ot nabora primenyaemyh operacij i ih vychislitelnoj slozhnosti Oni raspadayutsya na sleduyushie bolshie kategorii abstraktnye mashiny abstraktnye vychisliteli ispolzuemye dlya dokazatelstva vychislimosti i polucheniya verhnej granicy vychislitelnoj slozhnosti algoritma i modeli prinyatiya reshenij ispolzuemye dlya polucheniya nizhnej granicy slozhnosti vychislenij dlya algoritmicheskih zadach Sm takzheTeoriya vychislenij Strategiya vychislenij Semantika programmirovanie Kolmogorovskaya slozhnost Lyambda ischislenie Lyambda ischislenie s tipami Kombinatornaya logika Applikativnye vychislitelnye sistemy Kategorialnaya abstraktnaya mashina Superkombinatory Mashina Posta Mashina TyuringaPrimechaniyaSsylkiU etoj stati est neskolko problem pomogite ih ispravit Eta statya slishkom korotkaya Pozhalujsta dopolnite eyo eshyo hotya by neskolkimi predlozheniyami i uberite eto soobshenie Esli statya ostanetsya nedopisannoj ona mozhet byt vystavlena k udaleniyu Dlya ukazaniya na prodolzhayushuyusya rabotu nad statyoj ispolzujte shablon subst Redaktiruyu Administratoram i podvodyashim itogi eta pometka ostavlena 2013 12 26 Prosba ochen korotkie zagotovki statej ranee chem cherez dva dnya posle sozdaniya ne udalyat 26 dekabrya 2013 V state ne hvataet ssylok na istochniki sm rekomendacii po poisku Informaciya dolzhna byt proveryaema inache ona mozhet byt udalena Vy mozhete otredaktirovat statyu dobaviv ssylki na avtoritetnye istochniki v vide snosok 26 dekabrya 2013 Etu statyu neobhodimo ispravit v sootvetstvii s pravilami Vikipedii ob oformlenii statej Pozhalujsta pomogite uluchshit etu statyu 26 dekabrya 2013 Pozhalujsta posle ispravleniya problemy isklyuchite eyo iz spiska parametrov Posle ustraneniya vseh nedostatkov etot shablon mozhet byt udalyon lyubym uchastnikom
