首页 >
抽象机器
✍ dations ◷ 2024-12-22 22:53:56 #抽象机器
抽象机器(英语:Abstract machine),又称抽象电脑(abstract computer),利用自动机理论,创建出电脑硬件或软件的理论模型。把运算过程抽象化,一般来说是采用离散时间模型,可应用于计算机科学或电脑工程。在计算理论中,抽象机器经常被当成是一种思想实验,用来推论可计算性(computability),或是分析算法的复杂度。
相关
- 弥漫性毒性甲状腺肿弥漫性毒性甲状腺肿(Toxic diffuse goiter),又称格里夫氏症(Graves' disease),为一种主要侵犯甲状腺的自身免疫性疾病。此病为导致甲状腺功能亢进症最常见的原因,且会导致甲状腺肿
- 毒鹅膏蕈伞凸面毒鹅膏,包括东亚的黄盖毒鹅膏菌(拉丁学名:Amanita subjunquillea)的和欧洲的黄绿毒鹅膏菌(拉丁学名:Amanita phalloides),为两种具有极近亲缘关系、外表无法区分的剧毒担子
- 激酶在生物化学里,激酶是一类从高能供体分子(如ATP)转移磷酸基团到特定靶分子(受质)的酶;这一过程谓之磷酸化。一般而言,磷酸化的目的是“激活”或“能化”受质,增大它的能量,以使其可参
- 外贸国际贸易,也称通商,是指跨越国境的货品和服务交易,一般由进口贸易和出口贸易所组成,因此也可称之为进出口贸易。国际贸易对很多国家来说是国民生产总值一个重要部分,进出口贸易可
- 储存在影像诊断学中,医学影像存档与通信系统(英语:Picture archiving and communication system,PACS)是一种专门用来存储、获取、发送与展示医疗影像的电脑或网络系统,PACS一词由Andr
- 长臂猿长臂猿科(学名:Hylobatidae),哺乳纲灵长目的一科,即小型猿类。传统分类法只包括长臂猿属一属,现今根据其遗传演化之间的时间,可分为四属,分别为:长臂猿属(44对)、白眉长臂猿属(38对)、黑
- 构成国英国的构成国包括英格兰(英国)、苏格兰、威尔士与北爱尔兰。在作为单一制主权国的联合王国内部,苏格兰、威尔士和北爱尔兰通过权力下放获得了一定程度的自主权。每个构成国虽然
- 无机焦磷酸酶无机焦磷酸酶(英语:Inorganic Pyrophosphatase,简称为焦磷酸酶)是一种催化一分子焦磷酸盐转化为两分子磷酸盐离子的酶。这是一个高放能的反应,因此此反应可偶联到一些热力学上不
- 旁狄希腊语本都希腊语(Ποντιακή διάλεκτος或Ποντιακά)是希腊语的一种,使用在本都地区,包括东北安纳托利亚、黑海、土耳其的卡尔斯省、南格鲁吉亚、今天主要在希
- 代谢生化学代谢生化学是研究生物体内化学物质的利用消耗以及生物体所需分子的合成。例如核酸、脂质,碳水化合物,氨基酸等等代谢与合成。其中伴随着产生能量货币ATP以及其他所需分子的合