抽象机器

✍ dations ◷ 2025-07-06 15:19:36 #抽象机器

抽象机器（英语：Abstract machine），又称抽象电脑（abstract computer），利用自动机理论，创建出电脑硬件或软件的理论模型。把运算过程抽象化，一般来说是采用离散时间模型，可应用于计算机科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性（computability），或是分析算法的复杂度。

相关

外囊菌亚门外囊菌亚门是子囊菌门中的一个比较原始的分支，本门中其他菌种基本是由其进化出的，最新的分子生物学研究证明其是单源种。外囊菌亚门的种类基本是寄生的，以菌丝或酵母方式寄生在
国家地理空间情报局机密 (1998年9000人)(2013年大约16000人)机密 (1998年15亿国家地理空间情报局（National Geospatial-Intelligence Agency (NGA)）是美国政府下设的为国家安全而收集、分析并
信使RNA信使核糖核酸（英语：messenger RNA，缩写：mRNA），是由DNA经由转录而来，带着相应的遗传讯息，为下一步翻译成蛋白质提供所需的讯息。在细胞中，mRNA从合成到被降解，经过了数个步骤。在转录的
勃艮第勃艮第公国（法语：Duché de Bourgogne；拉丁语：Ducatus Burgundiae；荷兰语：Hertogdom Bourgondië）是一个曾存在于918年－1482年间的欧洲国家，领土曾囊括今法国东部勃艮第-弗朗什-孔泰
近音近音（英语：approximants; approximant consonant，前称无擦通音）在语音学中是指一类介乎元音和辅音的声音。发近音时，两个发音部位彼此靠拢，组成声腔并且收窄，但仍然有足够空间予气
化学物质化学物质，又称化学物种，是有着固定化学成分和特定性质的一类物质。它们不能通过物理手段分成更小的组分。化学物质可以是以元素形态组成的单质，也可以是化合物、离子或者合金。
有机化合物列表在有机化合物列表中，按官能团进行排序。本表仅列出常见的有机化合物，详细信息参见各官能团的页面（如烷烃）。CH4，甲烷C2H6，乙烷C3H8，丙烷C4H10，正丁烷C4H10，异丁烷C5H12，正戊烷C5H12，异
诱导凋亡因子凋亡诱导因子（英语：Apoptosis-inducing factor，简称为AIF）是一类进化保守的黄素蛋白。凋亡诱导因子涉及到非胱天蛋白酶依赖型细胞凋亡途径的引发，可以使得细胞的染色体凝聚及DNA
日本脑炎病毒流行性乙型脑炎（英语：Japanese encephalitis，港澳台译为日本脑炎），中国大陆简称乙脑，是由流行性乙型脑炎病毒（英语：Japanese encephalitis virus）（JEV）导致的脑实质炎症，为主要病理改变
电火花电火花加工（英语：electrical discharge machining，EDM），是一种借由放电产生火花，使工件成为所需形状的一种制造工艺。介电质液体分隔两电极并施以电压，产生周期性快速变化的电流放