离散数学-newchap12.ppt

上海交通大学 网络学院 离散数学 离散数学 第12章 自动机 文法和语言 本章内容 输出不仅依赖于输入而且依赖于系统的状态 有限状态机是具有内部记忆的抽象机模型 有限状态自动机是特殊类型的状态机，和语言相关 12.1 时序线路和有限状态机 12.1 时序线路和有限状态机 在线路中引入时序的简单方式是引入一个 单位时间延迟 一个单位时间延迟在时刻t接收一位输入 x t ，输出x t -1, 后者是在时刻t-1时系统的输入。 12.1.2 串行加法器 一个串行加法器的输入为两个二进制数x 和 y， 输出为它们的和z = x + y x = 0xNxN-1…x1x0 y = 0yNyN-1…y1y0 z = zN+1zNzN-1…z1z0 x 和y 按以下顺序输入 x0,y0; x1,y1; …; 0,0 输出形式为 z0, z1,…, zN, z N+1 串行加法器例 例如: x + y, x = 010 且 y = 011 x0 = 0, y0 = 1 相加得 z0 = 1 i = 0 x1 = 1, y1 = 1. 相加得 z1 = 0 i = 1 x2 = 0, y2 = 0. 相加得 z2