电子数字路可以正式将分为 2 课:
Combinational路 (缔约方会议) – 没有记忆. 产出的信号是不成立的根据组合输入数据在固定时刻的时候 (鉴于延误的信号转换).Combinational路, 它们的类型和原则的建筑可以是一个议题另外一条, 作为例子的事: 管理车, 向多路转换器和demultiplexers, 解码器和encoders, 代码转换器, 匹配的柜台和蝰蛇,t. d.
电路与记忆的运算法则取决于投入的现状和记忆 (在, 在前几次). 这些计划描述了使用该理论的有限的自动装置. 这是关于他们,并将继续.
换句话说第一个年级—逻辑装置, 处理的投入信号. 第二个因素有个记忆,并能够更敏感地响应信号的这取决于进入的数据.
抽象的机器
该机器将要执行的一些职能, 具体规定开发商. 这可能是一个简单的蝰蛇, 可以执行的任何microcomedo的中央处理器, 选措词的记忆或处理讨论的言论.
在一般, 在此我无意谈论细节, 抽象的机器可以概述如下:
或, 如果你从说明对数学的说明:
A= <A, B, C, δ, λ>
指定:
很多 {A} –是一套价值观的实物投入的机器. 投入我们的案子我们有一系列高级和低压水平, 这将通过这种方式合乎逻辑的数字.
很多 {B} –是一套价值观念的身体产出的机器.
很多 {C} –还有很多, 它代表着国内部国家机器的记忆. 未来C0我们表示了初步的国家的机器人.
δ=X×Z→Z的过渡职能的机器, 他们独特的确定的国家大赦国际在这个机器从国家aj.
λ=X×Z→Y–产出功能, 他们界定什么是在产出,机器取决于投入的和内部的国家.
δ和λ没有显示出视觉上的简化.
这种机器人的运作单独的时间, 价值的投入, 产出和国家内部的机器人变更分散的时刻.
所以我们在一般性描述什么是一个抽象的机器. 一个例子是这样一台机器就可能引发, 登记册的电脑或者毒蛇.
分配 2 类型的机器:
机器里. 所描述的系统方程式:
c(t) =δ( a(t), c(t-1) );
b(t) =λ( a(t), c(t-1) ).
Moore机器. 所描述的方程式:
c(t) =δ( a(t), c(t-1) );
b(t) =λ( a(t), c(t) ).
你可以看到的条件的机器c(t) 在目前时刻是其国家在上次的时间和投入的信号.
机器不同的形式产出的职能. 在combinational产出信号决定的投入的一个信号(t) 与国家在前一次c(t-1). 产出的Moore机是由于对投入的一个信号(t) 和地位的时刻c(t).
你还可以注意到, 这一类型的你可以开始进行第二轮,反之亦然, 此外,在过渡combinational的Moore机器的若干内部国家机器人仍将是一样的, 如果你换回来的若干内部的国家可能增加. 停止在将不详细, 在考虑, 什么综合,(提请厄尔) 机器型号, 想.
所以, 的材料是结束. 让我们试图描述的机器.
Ie. 机器型号里提供了一个产出信号的时候投入的变化, 根据其以前的家. 该期间的产出信号并不取决于会期间提供的投入, 但是仅仅从他的存在. 在机器的类型Moore的产出信号,取决于国家的机器,目前ie. 该机器将产生一个具体的产出信号,直到它会改变其国家.
方法的制定是机器
我们了解释第一部分的机器上是一组的投入和产出字母, 在许多国家内部和职能, 确定过渡进程和产出. 然而, 通常的职能δ和λ没有规定, 和行为的机器必须有所不同.
主要有两种途径的具体规定的机器:
- 的帮助下图表.
- 的帮助表的过渡和产出.
图表
有一个图,机器人是直接相关的图表, vertices这反映了国家内部的机器, 如弧过渡的一个国家向另一个国家.
数英里的弧说明和产出类似的信. 周末信是写在弧, 象征着的, 因为输出国,取决于国家机器在上一次.
为Moore的机器图的arc书面唯一投入的信, 周末表示附近的vertices.
一个重要观点: 如果每个vertex样感Doug, 多少有一个投入的信件, 该机器叫全部. 换句话说,如果每个vertex的定义过渡的每一投入的信. 在我们的例子,该公里的机器是全部, 一Moore机部分.
和: 如果一个vertex是出弧线更多, 于投入的信 (那是 2 或者更清楚地看到同样的投入信), 这种仪器叫nondeterministic. 这时候发生的事情建立一个正式描述,并随后将需要过渡到一个确定的机器, 但这并不总是可能的履行. 描述这个过程中我也很想, 立刻画一个确定的机器人.
同时,在所有图表.
该桌的过渡和产出.
该图是更清楚的人, 桌子的机器. 任何机器可以代表作为一个表,过渡进程和产出 (临时保护签证). 在临时保护签证路线是内部的国家, 和专栏投入的信件.
我们将建设我们的图表的临时保护签证对英里和摩尔. 如果你有没有界定任何投入或产出的信函, 相反,放一点. 如果没有明确定义的状况, 有一个简单的规则.
临时保护签证Earl英里
在临时保护签证里的每个细胞记录的过渡和产出. 例如, 如果该机关是在国家和C0的投入信a1来, 他进入一个国家的C1和产出似乎是b3.
临时保护签证的厄尔*摩尔
为数Moore指出建立跳表. 增加一栏中的产出信.
在电池项下的投入的信是写在什么国家机器的过渡, 在右边的电池中回返的产出字母表.
一个例子综合机器
使用抽象的机器描述的几乎所有的东西. 可以描述的行动的数字电路, 有一句法上的或使用的词汇分析仪. 让我们试图描述的扳机–没什么机器?
设定的数需要一个口头说明的算法,行动扳机. 看:
加密的投入和产出字母:
A= {a0, a1}, 在a0是一个合乎逻辑的 1 投入的R, a1是一个合乎逻辑的一个投入S.
B= {b0, b1}, 在b0是符合逻辑的 0 产出Q, b1–一个合乎逻辑的一个产出的Q.
建立图combinational:
这是个有趣的Cheburashka变 :-). 你现在可以建立一个表,过渡进程和产出:
如果把这个表转换的标志的实际, 我们找张桌子,一个表过渡的扳机. 然后你就可以简化:
造成职能在这地图Veitch和尽量减少:
让我们写的, 发生了什么事:
建立职能图:
有点不同寻常的看到一个触发器的逻辑依据, 所以让我们翻译职能的基础上而不是画了一张图中:
和图异步卢比,就显示在这里:
现在如果你做个小小的努力, 它可能独立的综合简单的圣诞花环.