自动机-一流百科

细胞自动机

细胞自动机元胞自动机（pl.cellular automata，缩写CA）是自动机理论中研究的一种离散计算模型。元胞自动机也称为元胞空间、镶嵌自动机、均质结构、元胞结构...

词条百科

184规则

184规则184 规则是一维二元元胞自动机规则，以解决多数问题以及同时描述几个看似完全不同的粒子系统的能力而著称：184规则可用作高速公路单车道交通流的简单...

词条百科

计算理论

计算理论在理论计算机科学和数学中，计算理论是处理在计算模型上可以解决哪些问题、使用算法、解决这些问题的效率或程度（例如，近似解决方案与精确解决方案...

词条百科

学习型自动机

简介学习型自动机是1970年代以来研究的一种机器学习算法。学习型自动机根据环境中过去的经验来选择它们当前的行动。如果环境是随机的，并且使用马尔科夫决策...

词条百科

比奇算术

比奇算术基数为k的比奇算术是自然数的一阶理论，有加法和函数它被定义为k的xxx幂除以x，为纪念瑞士数学家JuliusRichardBüchi而命名。Büchi算术的签名只包含加...

词条百科

量子点蜂窝自动机

简介量子点蜂窝自动机（QDCA，有时简称为量子蜂窝自动机，或QCA）是对传统计算机设计（CMOS）的一种改进建议，它是根据约翰-冯-诺伊曼介绍的蜂窝自动机的传统...

词条百科

量子蜂窝自动机

简介量子蜂窝自动机（QCA）是一种抽象的量子计算模型，它是根据约翰-冯-诺伊曼介绍的传统的蜂窝自动机模型而设计的。这个名字也可以指量子点蜂窝自动机，它是...

词条百科

图动态系统

图动态系统在数学中，图动态系统的概念可以用来捕捉在图或网络上发生的广泛过程。对GDS的数学和计算分析的一个主要主题是将其结构属性（如网络连通性）和由此...

词条百科

运行时验证

运行时验证运行时验证是一种计算系统分析和执行方法，它基于从运行中的系统中提取信息，并利用它来检测和可能对观察到的满足或违反某些属性的行为作出反应。...

词条百科

正则语言

什么是正则语言在理论计算机科学和形式语言理论中，正则语言（也称为理性语言）是一种可以由正则表达式定义的形式语言，在理论计算机科学的严格意义上（与许...

词条百科

索引式语言

索引式语言索引式语言是AlfredAho发现的一类形式语言；它们由索引式语法描述，可以由嵌套堆栈自动机识别。索引式语言是上下文敏感语言的一个适当的子集。它们...

词条百科

形式化系统的描述性复杂性

形式化系统的描述性复杂性DCFS，形式化系统的描述性复杂性国际研讨会是计算机科学领域的年度学术会议。从2011年开始，研讨会的论文集出现在《计算机科学讲义...

词条百科

正则语言的归纳

正则语言的归纳在计算学习理论中，正则语言的归纳是指从一组给定的例子字符串中学习正则语言的正式描述（例如语法）的任务。尽管E.MarkGold已经表明，并不是...

词条百科

树变换器

树变换器在理论计算机科学和形式语言理论中，树变换器（TT）是一种抽象的机器，它将一棵树作为输入，并生成输出--通常是其他的树，但也有产生词或其他结构的...

词条百科

树状自动机

树状自动机树状自动机是一种类型的状态机。树状自动机处理的是树状结构，而不是更传统的状态机的字符串。下面的文章涉及到分支树自动机，它对应于树的规则语...

词条百科

正则数字谓词

正则数字谓词在计算机科学和数学中，更确切地说，在自动机理论、模型理论和形式语言中，正则数字谓词是一种关于整数的关系。正则数字谓词也可以被认为是一个...

词条百科

自然计算

自然计算自然计算，也叫自然计算，是一个被引入的术语，包括三类方法：1）那些从自然界获取灵感以开发新的问题解决技术的方法；2）那些基于使用计算机来合成...

词条百科

元胞自动机

什么是元胞自动机元胞自动机（pl.cellularautomata，缩写为CA）是在自动机理论中研究的离散计算模型。元胞自动机也称为元胞空间、曲面细分自动机、同构结构、...

词条百科

人型机器人

人型机器人人型机器人（英语：humanoid robot），是一种旨在模仿人类外观和行为的机器人（robot），尤其特指具有和人类相似肌体的种类。直到最近，人型机器人...

词条百科

量子细胞自动机

量子细胞自动机量子细胞自动机（QCA）是一个抽象模型量子计算，类似于设计为的常规型号元胞自动机通过引入约翰冯·诺依曼。同样的名字也可以指量子点细胞自动...

词条百科

线卡自动插钉机

线卡自动插钉机线卡自动插钉机也叫线卡自动机、线卡自动装配机、管卡打钉机等。是一种现代非标自动化设备，是代替原始的手工操作;利用无极电机循环的原理把塑...

词条百科

隆盛光电

隆盛光电简介隆盛光电设备厂座落于伟人故乡中山市小榄镇，与轻轨小榄站不足3公里，相连小榄名校菊城小学阳光美加花园附近，交通方便，地理位置好我公司引进中...

企业百科