HTML Microdata document

This HTML5 document contains 227 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-es	http://es.dbpedia.org/resource/
n33	https://global.dbpedia.org/id/
dbpedia-he	http://he.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-hr	http://hr.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-el	http://el.dbpedia.org/resource/
dbpedia-cs	http://cs.dbpedia.org/resource/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ar	http://ar.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#
dbpedia-vi	http://vi.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
dbpedia-bg	http://bg.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item: dbr:Ambric
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Quantum_logic_gate
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Entscheidungsproblem
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:One_Clean_Qubit
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Jose_Meseguer
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Per_Martin-Löf
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Decision_tree_model
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Decomposition_(computer_science)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Deterministic_system
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Integer_circuit
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Interaction_nets
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Quantum_computing
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:List_of_quantum_processors
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Worst-case_complexity
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Pseudorandom_generator
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Ptolemy_Project
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Robertson–Webb_query_model
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Combinatory_logic
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computability
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computability_theory
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computable_function
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computational_complexity_of_matrix_multiplication
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Analysis_of_algorithms
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Ancilla_bit
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Matrix_multiplication
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Church–Turing_thesis
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Geometric_median
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Theoretical_model_of_computation
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Theoretical_models_of_computation
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Arnold_L._Rosenberg
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Blum–Shub–Smale_machine
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Cache-oblivious_algorithm
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Closest_pair_of_points_problem
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Comparison_of_application_virtualization_software
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Complexity_and_Real_Computation
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Complexity_class
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computation
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computational_complexity
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Computational_problem
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Programming_language_theory
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:State_(computer_science)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Theoretical_computer_science
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Theory_of_computation
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:To_Mock_a_Mockingbird
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Busy_beaver
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Toby_Ord
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:UP_Diliman_Department_of_Computer_Science
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:TFNP
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Carl_Hewitt
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbp:fields: dbr:Model_of_computation
dbo:academicDiscipline: dbr:Model_of_computation

Subject Item: dbr:Cellular_automaton
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Fair_cake-cutting
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Globally_asynchronous_locally_synchronous
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Kahn_process_networks
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Predecessor_problem
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Halting_problem
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Asymptotically_optimal_algorithm
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Counter_machine
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Hypercomputation
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Range_searching
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:AI-complete
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:AI_effect
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Abstract_machine
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Abstraction_(computer_science)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Lambda_calculus
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:BlooP_and_FlooP
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Echopraxia
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Boolean_algebra
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Boolean_circuit
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Circuit_(computer_science)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Integer_sorting
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Categorical_abstract_machine
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:MOC
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageDisambiguates: dbr:Model_of_computation

Subject Item: dbr:Massively_parallel_processor_array
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Model_of_computation
rdf:type: yago:Object100002684 yago:Worker109632518 yago:LivingThing100004258 yago:Person100007846 yago:YagoLegalActor yago:YagoLegalActorGeo dbo:VideoGame yago:Organism100004475 yago:Assistant109815790 yago:Model110324560 yago:WikicatModelsOfComputation yago:PhysicalEntity100001930 yago:Whole100003553 yago:CausalAgent100007347
rdfs:label: نموذج حوسبة 計算モデル Modelo de computação Model of computation Μοντέλο υπολογισμού Модель обчислення Výpočetní model (teorie algoritmů) Modelo de computación Модель вычислений 计算模型 (数学)
rdfs:comment: 在可计算性理论和計算複雜性理論中，计算模型（model of computation）描述了如何根据一组输入值计算得出输出值，也包含了负责运算、存储和通讯等结构的具体组织方式。它可以用于测量一个算法在时间和/或空间上的复杂度。通过计算模型的抽象化总结，我们可以分析出算法的性能，而避免在具体程序层面，被不同的技术和实现方式造成的性能差异所误导。 نموذج الحوسبة في نظرية الحاسوب ونظرية التعقيد الحسابي هو تعريف مجموعة من العمليات المسموح استخدامها في الحوسبة وتكلفة كل منها. وهو يستخدم لقياس مدى تعقيد خوارزمية حسب زمن التنفيذ و/أو : بافتراض نموذج معين من الحوسبة، فمن الممكن تحليل الموارد الحاسوبية المطلوبة أو مناقشة القيود المفروضة على خوارزميات أو أجهزة الكمبيوتر. Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения. Охарактеризовать необходимые вычислительные ресурсы — время выполнения, объём памяти, а также ограничения алгоритмов или компьютера — можно только в том случае, если выбрана определённая модель вычислений. При асимптотической оценке сложности вычислений модель вычислений определяется через допустимые примитивные операции с известной ценой. Em teoria da computabilidade, um modelo de computação é a definição de um conjunto de operações que podem ser usadas numa computação e seus respectivos custos. Somente assumindo certo modelo de computação é possível analisar os recursos computacionais requeridos, como tempo de execução e espaço de armazenamento, ou discutir as limitações de algoritmos ou computadores. Na área de análise de algoritmos, é comum especificar um modelo de computação em termos de operações primitivas, cada uma com um custo unitário associado. Výpočetní model (anglicky model of computation) je abstraktní model v teorii vyčíslitelnosti a teorii složitosti definující množinu povolených operací používaných při výpočtu a jejich cen (nákladů). Používá se pro určení míry složitosti algoritmů vyjádřené nebo : pro konkrétní výpočetní model lze analyzovat, jaké výpočetní prostředky vyžaduje, nebo diskutovat omezení algoritmů nebo počítačů. Στη θεωρία υπολογισιμότητας και στη θεωρία υπολογιστικής πολυπλοκότητας, ένα μοντέλο υπολογισμού είναι ο ορισμός του συνόλου των επιτρεπόμενων λειτουργιών που χρησιμοποιούνται στον υπολογισμό και τις αντίστοιχες δαπάνες. Χρησιμοποιείται για τη μέτρηση της πολυπλοκότητας ενός αλγορίθμου σε χρόνο εκτέλεσης ή χώρο μνήμης: αναλαμβάνοντας ένα συγκεκριμένο υπολογιστικό μοντέλο, είναι δυνατόν να αναλυθούν οι υπολογιστικοί πόροι που απαιτούνται ή για να συζητηθούν οι περιορισμοί των αλγορίθμων ή υπολογιστές. En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos. Solo asumiendo un cierto modelo de computación es posible analizar los recursos de cómputo requeridos, como el tiempo de ejecución o el , o discutir las limitaciones de algoritmos o computadores. Algunos ejemplos de modelos incluyen las máquinas de Turing, las funciones recursivas, cálculo lambda, y . Модель обчислення в інформатиці, а особливо у теорії обчислюваності та теорії складності обчислень — це визначення множин допустимих операцій, що використовуються при обчисленні, та їх відповідні витрати. Вона використовується у обчисленні складності алгоритму або проблеми, для вирішення якої вона була створена. Це допомагає дослідити продуктивність алгоритмів незалежно від варіантів, специфічних для конкретних імплементацій та конкретних технологій. 計算モデル（けいさんモデル、（英: model of computation）は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしてはラムダ計算などがある。ラムダ計算は数学の関数式の組み合わせであり、ソースコードのような計算モデルである。理論計算機科学の多くの分野で、「計算機械」を理論的に、すなわちモデル化して扱うために多大に活用されている。また特に抽象機械は、実際のプロセッサやコンパイラやインタプリタの研究や開発など、理論に限らず実際的な分野でも活用される。計算理論においては、計算可能性や計算複雑性について形式的・定量的に示すためなどに使われており、古典的な成果にチャーチ＝チューリングのテーゼがある。ハードウェアとして実装されていない（実装する予定のない）プロセッサの設計も一種の抽象機械である。特にインタプリタの形式でソフトウェアとして実装されている抽象機械を仮想機械と呼ぶ。研究目的などで、より抽象的な抽象機械の実装を作って研究などに使うこともある。抽象機械を使用することで、実際にシステムを組み立てることなく時間、メモリ使用量など特定の操作の実行に要するリソースを計算で求めることが可能である。 In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input. A model describes how units of computations, memories, and communications are organized. The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology.
dct:subject: dbc:Computational_complexity_theory dbc:Computability_theory dbc:Models_of_computation
dbo:wikiPageID: 1773278
dbo:wikiPageRevisionID: 1094361730
dbo:wikiPageWikiLink: dbr:Random-access_machine dbr:Cellular_automaton dbr:Accumulator_machine dbr:Logic_gate dbr:Pushdown_automata dbr:Cell-probe_model dbr:Combinatory_logic dbr:Robertson–Webb_query_model dbr:Chomsky_hierarchy dbr:Interaction_nets dbr:Turing_machine dbr:Stack_machine dbr:Turing_completeness dbr:Algorithm dbr:Synchronous_Data_Flow dbr:Lambda_calculus dbr:Decision_tree_model dbr:Computability_theory_(computer_science) dbr:Register_machine dbr:Actor_model dbr:Analysis_of_algorithms dbr:General_recursive_function dbc:Computational_complexity_theory dbr:Computational_complexity dbr:Computational_complexity_theory dbr:Implementation dbr:Nondeterministic_model_of_computation dbr:Abstract_machine dbr:Circuit_(computer_science) dbr:Tag_system dbc:Models_of_computation dbr:Post–Turing_machine dbc:Computability_theory dbr:Abstract_rewriting_system dbr:Computer_science dbr:Petri_nets dbr:Deterministic_model dbr:Function_(mathematics) dbr:Finite_state_machine dbr:Kahn_process_networks
owl:sameAs: dbpedia-ja:計算モデル dbpedia-hr:Model_računanja dbpedia-es:Modelo_de_computación dbpedia-el:Μοντέλο_υπολογισμού dbpedia-cs:Výpočetní_model_(teorie_algoritmů) yago-res:Model_of_computation dbpedia-zh:计算模型_(数学) dbpedia-vi:Mô_hình_tính_toán freebase:m.025rzzp dbpedia-bg:Изчислителен_модел dbpedia-uk:Модель_обчислення dbpedia-ar:نموذج_حوسبة dbpedia-he:מודל_חישובי dbpedia-fi:Laskennan_malli dbpedia-fa:مدل_محاسبه dbpedia-pt:Modelo_de_computação wikidata:Q2651576 dbpedia-ru:Модель_вычислений n33:2V5LV
dbp:wikiPageUsesTemplate: dbt:Computer_science dbt:One_source dbt:Cite_book dbt:Cn dbt:Reflist dbt:Short_description dbt:For
dbo:abstract: 在可计算性理论和計算複雜性理論中，计算模型（model of computation）描述了如何根据一组输入值计算得出输出值，也包含了负责运算、存储和通讯等结构的具体组织方式。它可以用于测量一个算法在时间和/或空间上的复杂度。通过计算模型的抽象化总结，我们可以分析出算法的性能，而避免在具体程序层面，被不同的技术和实现方式造成的性能差异所误导。 Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для вычисления, но также и относительных издержек их применения. Охарактеризовать необходимые вычислительные ресурсы — время выполнения, объём памяти, а также ограничения алгоритмов или компьютера — можно только в том случае, если выбрана определённая модель вычислений. В модельно-ориентированной инженерии модель вычислений и её выбор дают ответ на вопрос, как ведёт себя система в целом, если известно поведение её отдельных частей. При асимптотической оценке сложности вычислений модель вычислений определяется через допустимые примитивные операции с известной ценой. Известен целый ряд моделей вычислений, зависящих от набора применяемых операций и их вычислительной сложности. Они распадаются на следующие большие категории: абстрактные машины (абстрактные вычислители), используемые для доказательства вычислимости и получения верхней границы вычислительной сложности алгоритма, и модели принятия решений, используемые для получения нижней границы сложности вычислений для алгоритмических задач. Em teoria da computabilidade, um modelo de computação é a definição de um conjunto de operações que podem ser usadas numa computação e seus respectivos custos. Somente assumindo certo modelo de computação é possível analisar os recursos computacionais requeridos, como tempo de execução e espaço de armazenamento, ou discutir as limitações de algoritmos ou computadores. Na área de análise de algoritmos, é comum especificar um modelo de computação em termos de operações primitivas, cada uma com um custo unitário associado. Alguns exemplos de modelos de computação incluem a máquina de Turing, função recursiva, cálculo lambda e sistema de produção. Há diversos modelos, que diferem entre si no conjunto de operações e custos associados. De forma geral, eles são categorizados em máquinas abstratas, usadas em provas de computabilidade e no cálculo dos limites máximos na complexidade de algoritmos, e modelos de árvore de decisão, usados em provas dos limites mínimos de complexidade em problemas algorítmicos. Στη θεωρία υπολογισιμότητας και στη θεωρία υπολογιστικής πολυπλοκότητας, ένα μοντέλο υπολογισμού είναι ο ορισμός του συνόλου των επιτρεπόμενων λειτουργιών που χρησιμοποιούνται στον υπολογισμό και τις αντίστοιχες δαπάνες. Χρησιμοποιείται για τη μέτρηση της πολυπλοκότητας ενός αλγορίθμου σε χρόνο εκτέλεσης ή χώρο μνήμης: αναλαμβάνοντας ένα συγκεκριμένο υπολογιστικό μοντέλο, είναι δυνατόν να αναλυθούν οι υπολογιστικοί πόροι που απαιτούνται ή για να συζητηθούν οι περιορισμοί των αλγορίθμων ή υπολογιστές. نموذج الحوسبة في نظرية الحاسوب ونظرية التعقيد الحسابي هو تعريف مجموعة من العمليات المسموح استخدامها في الحوسبة وتكلفة كل منها. وهو يستخدم لقياس مدى تعقيد خوارزمية حسب زمن التنفيذ و/أو : بافتراض نموذج معين من الحوسبة، فمن الممكن تحليل الموارد الحاسوبية المطلوبة أو مناقشة القيود المفروضة على خوارزميات أو أجهزة الكمبيوتر. 計算モデル（けいさんモデル、（英: model of computation）は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしてはラムダ計算などがある。ラムダ計算は数学の関数式の組み合わせであり、ソースコードのような計算モデルである。理論計算機科学の多くの分野で、「計算機械」を理論的に、すなわちモデル化して扱うために多大に活用されている。また特に抽象機械は、実際のプロセッサやコンパイラやインタプリタの研究や開発など、理論に限らず実際的な分野でも活用される。計算理論においては、計算可能性や計算複雑性について形式的・定量的に示すためなどに使われており、古典的な成果にチャーチ＝チューリングのテーゼがある。より現実の計算機に近づけた機械の定義には命令セット、レジスタ、メモリモデルなども含まれる。現在の一般的なコンピュータ（要するにいわゆるノイマン型）を抽象化した計算モデルとしてはRAMモデル（ランダムアクセスマシン）がある。これはメモリに対してインデックス付けによりランダムアクセス可能な計算モデルである（チューリングマシンではテープの1区画ずつの移動しかできない）。キャッシュメモリが一般化し、そのヒット率が性能に与える影響が大きくなるにつれて、メモリの階層を前提とした計算モデルが重要となった。ハードウェアとして実装されていない（実装する予定のない）プロセッサの設計も一種の抽象機械である。特にインタプリタの形式でソフトウェアとして実装されている抽象機械を仮想機械と呼ぶ。研究目的などで、より抽象的な抽象機械の実装を作って研究などに使うこともある。抽象機械を使用することで、実際にシステムを組み立てることなく時間、メモリ使用量など特定の操作の実行に要するリソースを計算で求めることが可能である。 Výpočetní model (anglicky model of computation) je abstraktní model v teorii vyčíslitelnosti a teorii složitosti definující množinu povolených operací používaných při výpočtu a jejich cen (nákladů). Používá se pro určení míry složitosti algoritmů vyjádřené nebo : pro konkrétní výpočetní model lze analyzovat, jaké výpočetní prostředky vyžaduje, nebo diskutovat omezení algoritmů nebo počítačů. In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input. A model describes how units of computations, memories, and communications are organized. The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology. Модель обчислення в інформатиці, а особливо у теорії обчислюваності та теорії складності обчислень — це визначення множин допустимих операцій, що використовуються при обчисленні, та їх відповідні витрати. Вона використовується у обчисленні складності алгоритму або проблеми, для вирішення якої вона була створена. Це допомагає дослідити продуктивність алгоритмів незалежно від варіантів, специфічних для конкретних імплементацій та конкретних технологій. En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos. Solo asumiendo un cierto modelo de computación es posible analizar los recursos de cómputo requeridos, como el tiempo de ejecución o el , o discutir las limitaciones de algoritmos o computadores. Algunos ejemplos de modelos incluyen las máquinas de Turing, las funciones recursivas, cálculo lambda, y . En la ingeniería dirigida por modelos, el modelo de computación explica cómo el comportamiento del sistema entero es el resultado del comportamiento de cada uno de sus componentes. En el campo del tiempo de ejecución del análisis de algoritmos, es común especificar un modelo computacional en términos de operaciones primitivas permitidas que tengan un costo unitario, o simplemente operaciones costo unitario. Un ejemplo comúnmente usado es la , que tiene costo unitario para acceso de lectura y escritura para todas sus celdas de memoria. En este respecto, se diferencia del modelo de máquina de Turing mencionado arriba. Hay muchos modelos de computación, diferenciándose en el conjunto de operaciones admisibles y de su costo computacional. Ellos entran en las amplias categorías siguientes: * La máquina abstracta, usada en pruebas de computabilidad y de los límites superiores en la complejidad computacional de algoritmos, y * El modelo de árbol de decisión, usado en las pruebas de los límites más bajos en la complejidad computacional de problemas algorítmicos. * Datos: Q2651576 * Multimedia: Computational models / Q2651576
gold:hypernym: dbr:Definition
prov:wasDerivedFrom: wikipedia-en:Model_of_computation?oldid=1094361730&ns=0
dbo:wikiPageLength: 3716
foaf:isPrimaryTopicOf: wikipedia-en:Model_of_computation

Subject Item: dbr:SIGNAL_(programming_language)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:SKI_combinator_calculus
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Semantics_(computer_science)
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Quantum_circuit
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:External_memory_algorithm
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:External_sorting
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:List_of_terms_relating_to_algorithms_and_data_structures
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Finite-state_machine
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Quantized_state_systems_method
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Population_protocol
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Reversible_computing
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Word_RAM
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Parallel_programming_model
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Turing_completeness
dbo:wikiPageWikiLink: dbr:Model_of_computation

Subject Item: dbr:Models_of_computation
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Machine_model
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Mathematical_model_of_computation
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Computation_model
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Computational_formalism
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: dbr:Computational_mechanism
dbo:wikiPageWikiLink: dbr:Model_of_computation
dbo:wikiPageRedirects: dbr:Model_of_computation

Subject Item: wikipedia-en:Model_of_computation
foaf:primaryTopic: dbr:Model_of_computation