2010-5-21 作者：清华大学电子工程系 罗嵘 第 256页
例 1设计判断输入序列为 101的检测器 。 输入为 x,输
出为 z。 对输入序列每三位进行一次判决：若三位代
码是 101,则对应其最后一个 1时, 输出 z为 1；其它
情况 z为 0
x 010 100 101 010
z 000 000 001 000
设 S0,初始状态, 每次判定由此状态开始,
S1,收到一个 0，
S2,收到一个 1，
S3,收到两个 0,S4,收到 01,S5,收到 10,S6：
收到 11
2010-5-21 作者：清华大学电子工程系 罗嵘 第 257页
0/0
S0
S1 S2
S3 S4 S5 S6
1/00/0
1/00/0 1/0 0/0
1/0 1/00/0 0/0 1/10/01/0
原始状态表
下一个状态 输出 z 现在
状态 x= 0 x= 1 x= 0 x= 1
S
0
S
1
S
2
0 0
S
1
S
3
S
4
0 0
S
2
S
5
S
6
0 0
S
3
S
0
S
0
0 0
S
4
S
0
S
0
0 0
S
5
S
0
S
0
0 1
S
6
S
0
S
0
0 0
2010-5-21 作者：清华大学电子工程系 罗嵘 第 258页
0/0
S0
S1 S2
S3 S5
1/00/0
1/00/0 1/0 0/0
1/0 0/0 1/1
p=5 <8=23 k=3
Q 2 Q 1 Q 0
S 0 0 0 0
S 1 0 0 1
S 2 0 1 0
S3 0 1 1
S5 1 0 0
状态分配方案（一）
2010-5-21 作者：清华大学电子工程系 罗嵘 第 259页
Q
n
2
Q
n
1
Q
n
0 X
Q
n +1
2
Q
n +1
1
Q
n +1
0
Z
0 0 0 0 0 0 1 0
1 0 1 0 0
0 0 1 0 0 1 1 0
1 0 1 1 0
0 1 0 0 1 0 0 0
1 0 1 1 0
0 1 1 0 0 0 0 0
1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 0 0 1
代码形式的状态表
2010-5-21 作者：清华大学电子工程系 罗嵘 第 260页
Q 0 X
Q 2 Q 1
00 01 11 10
0 0 1 0 1 1
0 1 0 1 0 0
11 ф ф ф ф
10 0 0 ф ф
XQQXQQQQQ n ?????? 12010110
0 1 0 0
1 1
012101
1
0 )( QXQQXQQQQ
n ??????
10
1210
QK
XQQXQJ
?
????
XQQXQQQQD ????? 1201010
2010-5-21 作者：清华大学电子工程系 罗嵘 第 261页
Q 0 X
Q 2 Q 1
00 01 11 10
0 0 0 1 1 1
0 1 0 1 0 0
11 ф ф ф ф
10 0 0 ф ф
XQQQQQ n 020111 ????
0 0 0 0
1 1
102201
1
1 )( XQQQXQQQQ
n ?????
XQQK
XQQJ
021
201
??
??
XQQQQD 02011 ???
2010-5-21 作者：清华大学电子工程系 罗嵘 第 262页
Q 0 X
Q 2 Q 1
00 01 11 10
0 0 0 0 0 0
0 1 1 0 0 0
11 ф ф ф ф
10 0 0 ф ф
XQQQ n 0112 ??
1 0 0 0
0 0
)( 220112 QQXQQQ n ????
XQQK
XQQJ
??
??
012
012
XQQD 012 ?
2010-5-21 作者：清华大学电子工程系 罗嵘 第 263页
Q 0 X
Q 2 Q 1
00 01 11 10
0 0 0 0 0 0
0 1 0 0 0 0
11 ф ф ф ф
10 0 1 ф ф
XQZ 2?
0 1 1 0
1 0
110
000001
011100
101
1110/0
1/1
0/0
1/1
0/0
1/1
可自启动
2010-5-21 作者：清华大学电子工程系 罗嵘 第 264页
例 2设计一个带进位输出的同步十三进制计数器
p=13 <16=24 k=4
S0 S1 S2 S3 S4
S11 S10 S9 S8 S7
S5S
12
S6
/0 /0 /0 /0
/0
/0
/0
/0/0/0/0
/0
/1
/Z
2010-5-21 作者：清华大学电子工程系 罗嵘 第 265页
D C BA
0000 0001 0010 0011 0100
1100
1011 1010 1001 1000
0101
0110
0111
/0 /0 /0 /0
/0
/0/1
/0
/0 /0 /0 /0
/0
/Z
2010-5-21 作者：清华大学电子工程系 罗嵘 第 266页
状态表
现在状态 下一个状态 转移符号
D
n
C
n
B
n
A
n
C
n +1
C
n +1
B
n +1
A
n +1
D C B A
0 0 0 0 0 0 0 1 0 0 0 ?
0 0 0 1 0 0 1 0 0 0 ? ?
0 0 1 0 0 0 1 1 0 0 1 ?
0 0 1 1 0 1 0 0 0 ? ? ?
0 1 0 0 0 1 0 1 0 1 0 ?
0 1 0 1 0 1 1 0 0 1 ? ?
0 1 1 0 0 1 1 1 0 1 1 ?
0 1 1 1 1 0 0 0 ? ? ? ?
1 0 0 0 1 0 0 1 1 0 0 ?
1 0 0 1 1 0 1 0 1 0 ? ?
1 0 1 0 1 0 1 1 1 0 1 ?
1 0 1 1 1 1 0 0 1 ? ? ?
1 1 0 0 0 0 0 0 ? ? 0 0
2010-5-21 作者：清华大学电子工程系 罗嵘 第 267页
BA
D C
00 01 11 10
0 0 ? ? ? ?
0 1 ? ? ? ?
11 0 ? ? ?
10 ? ? ? ?
A触发器的转换图
CDJ A ??
表 4,3 6 转移符号代换表
转移符号的代换 触发器输入
1 项 0 项 随意项
R ? ?,1 0 R － S
S ? ?,0 1
D ?,1 ?,0
T ?,? 0,1
J ? 0 ?,1 J － K
K ? 1 ?,0
1?AK
ACADD A ????
2010-5-21 作者：清华大学电子工程系 罗嵘 第 268页
BA
D C
00 01 11 10
0 0 0 ? ? 1
0 1 0 ? ? 1
11 0 ? ? ?
10 0 ? ? 1
AJ B ?
AK B ?
ABABD B ????
B触发器的转换图
ABJ C ?
DABK C ??
ACDBCDBACD C ???
C触发器的转换图
BA
D C
00 01 11 10
0 0 0 0 ? 0
0 1 1 1 ? 1
11 ? ? ? ?
10 0 0 ? 0
2010-5-21 作者：清华大学电子工程系 罗嵘 第 269页
BA
D C
00 01 11 10
0 0 0 0 0 0
0 1 0 0 ? 0
11 ? ? ? ?
10 1 1 1 1
A B CJ D ?
CK D ?
CDC B AD D ??
D触发器的转换图
BA
D C
00 01 11 10
0 0 0 0 0 0
0 1 0 0 0 0
11 1 ? ? ?
10 0 0 0 0
输出 Z的卡诺图
DCZ ?
2010-5-21 作者：清华大学电子工程系 罗嵘 第 270页
ACADQ A ????
ABABQ B ????
ACDBCDBACQ C ???
CDC B ADQ D ??
用 JK触发器实现，检查能否自启动
1110 0010
0000
0010 1101
1111 /1
/1
DCZ ?
/1
可自启动
2010-5-21 作者：清华大学电子工程系 罗嵘 第 271页
ACADQ A ????
ABABQ B ????
ACDBCDBACQ C ???
CDC B AQ D ??
用 D触发器实现，检查能否自启动
1110 0010
1000
0010 1101
1111 /1
/1
DCZ ?
/1
可自启动
2010-5-21 作者：清华大学电子工程系 罗嵘 第 272页
思考题：
1.用 D触发器和其它状态分配方案实现例 1
2.用 T和 RS触发器实现例 2
3.改变状态分配方案，再用 D触发器实现例 2