计算模型 (数学) 关于以计算机模型模拟复杂系统，请见「计算模型」。
在可计算性理论和计算复杂性理论中，计算模型（model of computation）描述了如何根据一组输入值计算函数的输出[1]，包含了负责运算、存储和通讯等结构的具体组织方式。它可以用于测量算法的计算复杂度，总结出算法的性能，而不受特定技术和实现方式的性能差异所误导。 模型计算模型可分为三大类：顺序模型、函数式模型以及同步模型。 顺序模型顺序模型包括 函数式模型函数式模型包括 同步模型同步模型包括 各模型的表现不盡相同；例如，有限状态机可以计算的函数，图灵机也可以计算，反之亦然。 使用在算法分析领域，定义一个计算模型通常用具有单位成本的原始操作（也称单位成本操作）。一个常见例子是随机存取机器，任何存储单元的读写访问，都有着单位成本。在这方面，它与图灵机模型不同。 在模型驱动工程中，计算模型解释了整个系统的行为是如何由每个组件的行为所共同造成的。 一个经常被忽略的关键点是，一些已知计算复杂度下限的问题是由较为局限的运算集得出的，实践中可使用的运算集可能更加广泛而强大，因而一些算法的实际性能，可能比高度抽象的计算模型得出的结果要好。[2] 分类计算模型有很多，它们在各自容许的运算集和计算成本方面不同。它们可以被分为几大类：抽象機器和与其等同的模型（例如Λ演算相当于图灵机），用于可计算性、算法计算复杂性上限的证明；还有决策树模型，用于证明算法问题计算复杂度的下限。 参见参考资料拓展阅读
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
