有限自动机存储器实现方法.pdfVIP

维普资讯 ～ 6 第 15 青 岛 大 学 学 报 V()l l5NO．4 JOURNALOFQINGDAOUNIVERSITY Dec 2000 文章编号：1006-9798c2000 有限 自动机存储器实现方法 刘大本 丁pz ‘ ，——————～ II ／ 情驰 羊。船膊 院’青岛。。∞¨ ￡)，．J 摘要：叙述了自动机可用 EPROM 存储器来实现的新方法。把有限自动机每一状悉及在此状 态下的输入信息作为地址，对应这个地址的存储单元存放下一个状态及输出信息，通过对 EPROM 的读操作 ，使数据线上产生相应的输出，实现 自动机 的动作。这样可使逻辑线路大为 简化 ，因而大大提高了可靠性 。 关键词：有限自动机；EPROM存储器；数学模型；逻辑网络 中国分类号 ：TP23 文献标识码 ： A 离散数字系统新技术的发展迫切需要有效的数 ② 有一个开始时间 。； 学工具进行研究，因而形成了 自动机论这一数学分 ③ 这种离散时间是无穷 的，也是可列的，可表 支。 示为 ：= f0，1，2，……} 有限 自动机是 自动机论 的一部分。有限自动机 ④ 自动机 中，离散时问的时间单位有两种处理 是一种数学模型，它能模拟多种离散 自动系统 。本 办法 ，一种是从 一 规定一个固定 的时间单 文主要叙述实现有 限 自动机 M 一 (X．Y，s，f，g， 位，称主频周期，这种方式称 同步方式；另一种是只 s)的一种可行方法——EPROM 逻辑网络方法 。 当新的输入信息进入有限 自动机时，我们才说时间 这种方法可使逻辑线路简化并提高可靠性。 增加了一个单位，这种时间不一定是固定的方式 ，称 为异步方式 1 有限自动机原理 自动机可用状态图及状态表两种方法表示。 有限 自动机是一种数学模型，它能模拟多种离 X 散 自动系统 。。一个离散的、有限状态的自动系统 是一个六有序组 ，表示 为：M 一 (X，Y，S，f，g， )。其中，x是一个输入符号的有限集合；Y是一个 输 出符号的有限集合；S是一个状态的有限集合；f S s t ●●● 是状态转换函数 ，即 时刻的状态 ，由8时刻的输入 信息及它前一时刻的状态决定，亦即存在一个映射 ，：s×x— S；g是输出函数 ，即 时刻的输出信息， 由 时刻的输入信息及 时刻的状态决定 ，亦即存在 圈 1 自动机的状态寰和状态圈 一 个映射 g：S×X— y；s是 s的初态。 状态表可同时表示两个函数 ，表的左端从上到 在有限自动机中是有时间概念的，它与我们一 下标记所有的状态 ，常把 放在最上面。表 的上方 般所理解的时间概念有所不 同，主要区别是 ： 从左到右标记所有输入符号。因此 ，表的行数是 Is ① 自动机中的时间是离散的，而不是连续的； I，表的列数是 Ix I。相应于状态 s的行与相应于输 入符号 z的列的交叉处 ，写入下一状态 s一 ，(st 收蔫 13期 ：20001O-17