e.g. 2 Guessing Game e.g.2 Guessing Game ◆5状态 ◆6状态 无法指示猜测结 果是否正确 G1263G G1G2G3.G ◆使用者同时按下 多个按键 需克服并进入 G2 G3.Ga 6263 ERR状态 G+G GaG G1G2G3 Guessing Game Guessing Game ◆ Gray-Coded State Assignment圖 o Gray-Coded State Assignment Moore状态机,输出方程为 s301 ERRE 状态方程可转换为激励方程:略 sm::1 对此1: Output- Coded State Assign 对比1: Output- Coded State Assign QOutput-Coded State Assignment oOutput-Coded State Assignment ●也可以用输出作为状态变量 直接用输出作为状态变量,得到输出方程为 =L…,L, L2., ERR(G43G2)●方程组并不简 00 or,aayor .i3·L2LERR·(G4G3 单,但输出数 x"=l4l2l2,z1,ERR、GG3G2G)变少(50) ERR+=L4. L,L,L, 0090 G4+G2+G1) 9 +L4.,Lz.. ERR +1·L12L·ER(G3+G2+G) +·z21·ERRG4+G+G2+G)3 17 e.g.2 Guessing Game ‹5状态 无法指示猜测结 果是否正确 ‹使用者同时按下 多个按键 需克服并进入 ERR状态 Stop S1 S2 S3 S4 G1 ’ .G2’. G3’.G4’ G1+G2+G3+G4 G1+G2+G3+G4 G1+G2+G3+G4 G1+G2+G3+G G 4 1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ G1+G2+ G3+G4 18 e.g.2 Guessing Game ‹6状态 SErr S1 S2 S3 S4 G1 ’ .G2’.G3’.G4’ G1+G3+G4 G1+G2+G4 G1+G2+G3 G2+G3+G4 G1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ G1 ’ .G2’.G3’.G4’ SOK G1 ’ .G2.G3’.G4’ G1 ’ .G2’.G3.G4’ G1 ’ .G2’.G3’.G4 G1.G2’.G3’.G4’ G1+G2+ G3+G4 G1+G2+ G3+G4 G1 ’ .G2’.G3’.G4’ 20 Guessing Game ‹Gray-Coded State Assignment 状态 Q2 Q1 Q0 S1 0 0 0 S2 0 0 1 S3 0 1 1 S4 0 1 0 SOK 1 0 0 SErr 1 0 1 21 Guessing Game ‹Gray-Coded State Assignment zMoore状态机，输出方程为 z状态方程可转换为激励方程：略…… 2 1 0 1 L4 Q Q Q n = ⋅ ⋅ + 2 1 0 1 L3 Q Q Q n = ⋅ ⋅ + 2 1 0 1 L2 Q Q Q n = ⋅ ⋅ + 2 1 0 1 L1 Q Q Q n = ⋅ ⋅ + ERR Q2 Q1 Q0 = ⋅ ⋅ 状态 Q2 Q1 Q0 S1 0 0 0 S2 0 0 1 S3 0 1 1 S4 0 1 0 SOK 1 0 0 SErr 1 0 1 22 ‹Output-Coded State Assignment z也可以用输出作为状态变量 对比1：Output-Coded State Assign. Output-Coded State Assign. 23 ‹Output-Coded State Assignment z直接用输出作为状态变量，得到输出方程为 对比1：Output-Coded State Assign. Output-Coded State Assign. ( 4 3 2 1) 1 4 3 2 1 L2 L L L L ERR G G G G n = ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ + 1 ( 4 3 2 1) 2 4 3 1 L3 L L L L ERR G G G G n = ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ + 2 1 ( 4 3 2 1) 3 4 1 L4 L L L L ERR G G G G n = ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ + 3 2 1 4 3 2 1 ( 4 3 2 1) 1 L1 L L L ERR L L L L G G G G n = ⋅ ⋅ ⋅ + ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ + （ ） 1 4321 432 43 1 2 431 4 21 3 421 321 4 321 4321 4321 ( ) ( ) ( ) ( ) ( ) n ERR L L L L ERR G G G L L L L ERR G G G L L L L ERR G G G L L L L ERR G G G L L L L ERR G G G G + = ⋅⋅⋅⋅ ⋅ + + +⋅⋅⋅⋅ ⋅ + + +⋅⋅⋅⋅ ⋅ + + +⋅ ⋅ ⋅⋅ ⋅ + + +⋅⋅⋅⋅ ⋅ + + + z方程组并不简 单，但输出数 变少(5Æ0)