數(shù)字邏輯設(shè)計(jì)第七章(5)

1、1 1時(shí)鐘同步狀態(tài)機(jī)設(shè)計(jì)時(shí)鐘同步狀態(tài)機(jī)設(shè)計(jì)數(shù)字邏輯設(shè)計(jì)及應(yīng)用數(shù)字邏輯設(shè)計(jì)及應(yīng)用2 27.4 7.4 時(shí)鐘同步狀態(tài)機(jī)設(shè)計(jì)時(shí)鐘同步狀態(tài)機(jī)設(shè)計(jì)根據(jù)命題構(gòu)造狀態(tài)根據(jù)命題構(gòu)造狀態(tài)/輸出表輸出表狀態(tài)化簡（狀態(tài)最小化）狀態(tài)化簡（狀態(tài)最小化）狀態(tài)編碼（選擇狀態(tài)變量）狀態(tài)編碼（選擇狀態(tài)變量）建立轉(zhuǎn)移建立轉(zhuǎn)移/輸出表，得到狀態(tài)和輸出方程輸出表，得到狀態(tài)和輸出方程選擇觸發(fā)器作為狀態(tài)存儲器選擇觸發(fā)器作為狀態(tài)存儲器構(gòu)造激勵表，得到激勵方程構(gòu)造激勵表，得到激勵方程畫邏輯電路圖畫邏輯電路圖3 3同步時(shí)鐘狀態(tài)機(jī)設(shè)計(jì)舉例同步時(shí)鐘狀態(tài)機(jī)設(shè)計(jì)舉例設(shè)計(jì)入門：設(shè)計(jì)入門：兩個(gè)簡單的例子兩個(gè)簡單的例子設(shè)計(jì)一個(gè)設(shè)計(jì)一個(gè)3 3位二進(jìn)制模位二進(jìn)

2、制模8 8計(jì)數(shù)器計(jì)數(shù)器 設(shè)計(jì)一個(gè)設(shè)計(jì)一個(gè)110110序列檢測器序列檢測器 狀態(tài)表設(shè)計(jì)舉例狀態(tài)表設(shè)計(jì)舉例例一例一（P408P408）；例二例二（P419P419）；例三例三（P421P421）狀態(tài)圖設(shè)計(jì)（雷鳥車尾燈狀態(tài)圖設(shè)計(jì)（雷鳥車尾燈 ）猜謎游戲猜謎游戲 4 41、邏輯抽象，得到狀態(tài)圖（表）、邏輯抽象，得到狀態(tài)圖（表）2、狀態(tài)編碼、狀態(tài)編碼取自然二進(jìn)制數(shù)取自然二進(jìn)制數(shù) 000111作為作為 S0 S7 的編碼的編碼對時(shí)鐘信號計(jì)數(shù)，可不用輸入對時(shí)鐘信號計(jì)數(shù)，可不用輸入 Moore Moore機(jī)機(jī)取進(jìn)位信號為輸出變量取進(jìn)位信號為輸出變量需要需要8 8個(gè)有效狀態(tài)個(gè)有效狀態(tài)設(shè)計(jì)一個(gè)設(shè)計(jì)一個(gè)3 3位二進(jìn)

3、制模位二進(jìn)制模8 8計(jì)數(shù)器計(jì)數(shù)器S0/0S1/0S3/0S4/0S2/0S5/0S7/1S6/00001111101010010100111005 53、構(gòu)造轉(zhuǎn)移構(gòu)造轉(zhuǎn)移/輸出表，求取輸出表，求取 狀態(tài)轉(zhuǎn)移方程狀態(tài)轉(zhuǎn)移方程 和和 輸出方程輸出方程S0/0S1/0S3/0S4/0S2/0S5/0S7/1S6/00 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1Q2 Q1 Q0Q2*Q1*Q0* CS0S1S2S3S4S5S6S70 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 0000000010001111101010010100111

4、006 601Q1Q0Q2Q0* 00 01 11 101 0 0 11 0 0 13、構(gòu)造轉(zhuǎn)移構(gòu)造轉(zhuǎn)移/輸出表，求取輸出表，求取 狀態(tài)轉(zhuǎn)移方程狀態(tài)轉(zhuǎn)移方程 和和 輸出方程輸出方程Q0* = Q00 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1Q2 Q1 Q0Q2*Q1*Q0* C0 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 0000000017 70 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 000000001Q2 Q

5、1 Q0Q2*Q1*Q0* C01Q1Q0Q2Q1* 00 01 11 100 1 0 10 1 0 1Q0* = Q0Q1* = Q1Q0 + Q1Q03、構(gòu)造轉(zhuǎn)移構(gòu)造轉(zhuǎn)移/輸出表，求取輸出表，求取 狀態(tài)轉(zhuǎn)移方程狀態(tài)轉(zhuǎn)移方程 和和 輸出方程輸出方程8 80 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 10 1 00 1 11 0 01 0 11 1 01 1 10 0 000000001Q2 Q1 Q0Q2*Q1*Q0* CQ0* = Q0輸出方程：輸出方程：C = Q3 Q2 Q1Q1* = Q1Q0 + Q1Q001Q1Q0Q2Q2* 00 01

6、11 100 0 1 01 1 0 1Q2* = Q2Q1Q0 + Q2Q1 + Q2Q03、構(gòu)造轉(zhuǎn)移構(gòu)造轉(zhuǎn)移/輸出表，求取輸出表，求取 狀態(tài)轉(zhuǎn)移方程狀態(tài)轉(zhuǎn)移方程 和和 輸出方程輸出方程9 9Q0* = Q0Q1* = Q1Q0 + Q1Q0Q2* = Q2Q1Q0 + Q2Q1 + Q2Q04、觸發(fā)器選型，得到激勵方程、觸發(fā)器選型，得到激勵方程翻轉(zhuǎn)翻轉(zhuǎn)Q* = Q（T觸發(fā)器）觸發(fā)器）Q* = ENQ + ENQQ1* = Q1Q0 + Q1Q0= Q2Q1Q0 + Q2 (Q1+Q0)= Q2Q1Q0 + Q2 (Q1Q0)EN1 = Q0EN2 = Q1Q0EN0 = 1選擇有使能端的選擇

7、有使能端的T T觸發(fā)器觸發(fā)器10105、畫邏輯電路圖、畫邏輯電路圖EN0 = 1EN1 = Q0EN2 = Q1Q0C = Q3 Q2 Q11CLKQ0Q1Q2C11 111、得到狀態(tài)轉(zhuǎn)換表、得到狀態(tài)轉(zhuǎn)換表用用A表示輸入數(shù)據(jù)；用表示輸入數(shù)據(jù)；用Z表示檢測結(jié)果。表示檢測結(jié)果。開始，等待第一個(gè)開始，等待第一個(gè)1 STASTA/0A1/0A上捕獲一個(gè)上捕獲一個(gè)1 A1STA/0 A11/0A上連續(xù)捕獲上連續(xù)捕獲11 A11OK/1A11/0A上連續(xù)捕獲上連續(xù)捕獲110 OKSTA/0A1/0設(shè)計(jì)一個(gè)設(shè)計(jì)一個(gè)110110串行數(shù)據(jù)檢測器串行數(shù)據(jù)檢測器狀態(tài)狀態(tài)SA0 1S*/Z電路檢測到輸入連續(xù)出現(xiàn)電路檢

8、測到輸入連續(xù)出現(xiàn)110時(shí)，輸出為時(shí)，輸出為1MealyMealy機(jī)機(jī)12121、得到狀態(tài)轉(zhuǎn)換表、得到狀態(tài)轉(zhuǎn)換表STASTA/0A1/0A1STA/0 A11/0A11OK/1A11/0OKSTA/0A1/0狀態(tài)狀態(tài)SA0 1S*/Z2、狀態(tài)化簡、狀態(tài)化簡（狀態(tài)最小化）（狀態(tài)最小化）識別識別等效狀態(tài)等效狀態(tài) ，如果兩個(gè)狀態(tài)，如果兩個(gè)狀態(tài) 對于所有輸入組合產(chǎn)生相同的輸出對于所有輸入組合產(chǎn)生相同的輸出 對于每種輸入組合具有同或等效的下一狀態(tài)對于每種輸入組合具有同或等效的下一狀態(tài)STA/1S*/ZSTA/0STAA1/03、狀態(tài)編碼、狀態(tài)編碼00011000011113130001100Q1Q0000

9、1111001A01000ddZ00/0Q1Q00001111001A00/000/101/0 10/010/0dd/ddd/d4、得到狀態(tài)方程和輸出方程、得到狀態(tài)方程和輸出方程STASTA/0A1/0A1STA/0 A11/0A11STA/1 A11/0狀態(tài)狀態(tài)SA0 1S*/Z141400/0Q1Q00001111001A00/000/101/0 10/010/0dd/ddd/d4、得到狀態(tài)方程和輸出方程、得到狀態(tài)方程和輸出方程0Q1Q00001111001A01000ddZZ = AQ10Q1Q00001111001A00011ddQ1*Q1* = AQ1 + AQ00Q1Q000011

10、11001A00100ddQ0*Q0* = AQ1Q01515選擇選擇D觸發(fā)器觸發(fā)器5、得到激勵方程、得到激勵方程Q1* = AQ1 + AQ0Q0* = AQ1Q0D1 = AQ1 + AQ0D0 = AQ1Q0選擇選擇J-K觸發(fā)器觸發(fā)器Q* = JQ + KQ= (AQ1)Q0 + 1Q0= AQ1 + AQ0 (Q1+Q1) = AQ1 + AQ0 Q1 + AQ0Q1 = AQ1 + AQ0Q1 J1 = AQ0K1 = AJ0 = AQ1K0 = 116166、檢查電路的自啟動性、檢查電路的自啟動性當(dāng)電路進(jìn)入無效狀態(tài)當(dāng)電路進(jìn)入無效狀態(tài)11后，后，A=0時(shí)，時(shí)，該電路是自啟動的該電路是

11、自啟動的Z = AQ1Q1* = AQ1 + AQ0Q0* = AQ1Q07、畫邏輯電路圖（略）、畫邏輯電路圖（略）下一狀態(tài)為下一狀態(tài)為 00A=1時(shí)，時(shí)，下一狀態(tài)為下一狀態(tài)為 101/0110/1000/0011/00/0101/01/00/1狀態(tài)表狀態(tài)表1717狀態(tài)表設(shè)計(jì)（例一）狀態(tài)表設(shè)計(jì)（例一）設(shè)計(jì)一個(gè)具有設(shè)計(jì)一個(gè)具有2個(gè)輸入（個(gè)輸入（A、B），），1個(gè)輸出（個(gè)輸出（Z）的的時(shí)鐘同步狀態(tài)機(jī)，時(shí)鐘同步狀態(tài)機(jī)，Z為為1的條件是：的條件是：在前在前2個(gè)脈沖觸發(fā)沿上，個(gè)脈沖觸發(fā)沿上，A的值相同的值相同從上一次第從上一次第1個(gè)條件為真起，個(gè)條件為真起，B的值一直為的值一直為1P408P408181

12、8SAB00 01 11 10S*Z狀態(tài)含義狀態(tài)含義初始狀態(tài)初始狀態(tài) INIT0A0A0A1A1A0A上捕獲一個(gè)上捕獲一個(gè)0 A上捕獲一個(gè)上捕獲一個(gè)1 A10OK0OK0A上連續(xù)兩個(gè)上連續(xù)兩個(gè)0 OK0A1A10A0A0OK1A上連續(xù)兩個(gè)上連續(xù)兩個(gè)1 OK1OK11OK0OK0OK1B A1因因B而而OK，A為為1 OK1B1A0 OK0BOK1OK1因因B而而OK，A為為0 OK0B1A0 OK0BOK1OK11OK0OK0OK1B A11、構(gòu)造狀態(tài)轉(zhuǎn)換表、構(gòu)造狀態(tài)轉(zhuǎn)換表1919SAB00 01 11 10S*Z狀態(tài)含義狀態(tài)含義1、構(gòu)造狀態(tài)轉(zhuǎn)換表、構(gòu)造狀態(tài)轉(zhuǎn)換表初始狀態(tài)初始狀態(tài) INIT0A

13、0A0A1A1A0A上捕獲一個(gè)上捕獲一個(gè)0 A上捕獲一個(gè)上捕獲一個(gè)1 A10OK0OK0A上連續(xù)兩個(gè)上連續(xù)兩個(gè)0 OK0A1A10A0A0OK1A上連續(xù)兩個(gè)上連續(xù)兩個(gè)1 OK1OK11OK0OK0 OK1B A1因因B而而OK，A為為1 OK1B1A0 OK0BOK1OK1因因B而而OK，A為為0 OK0B1A0 OK0BOK1OK11OK0OK0OK1B A12、狀態(tài)最小化、狀態(tài)最小化OK1 OK1 OK0 OK0OK，A值為值為0OK，A值為值為0OK，A值為值為12020初始狀態(tài)初始狀態(tài) INITA0A上捕獲一個(gè)上捕獲一個(gè)0 A上捕獲一個(gè)上捕獲一個(gè)1 A1OK，A值為值為0 OK0OK，

14、A值為值為1 OK1SAB00 01 11 10S*Z0A0A0A1A10OK0OK0A1A10A0A0OK1OK11OK0OK0 A11A0OK1OK1OK0 OK11、構(gòu)造狀態(tài)轉(zhuǎn)換表、構(gòu)造狀態(tài)轉(zhuǎn)換表2、狀態(tài)最小化、狀態(tài)最小化真的需要一一嘗試嗎？合理的狀態(tài)賦值（真的需要一一嘗試嗎？合理的狀態(tài)賦值（P412P412）3、狀態(tài)編碼、狀態(tài)編碼最簡單的最簡單的分解的分解的單熱點(diǎn)的單熱點(diǎn)的準(zhǔn)單熱點(diǎn)的準(zhǔn)單熱點(diǎn)的從從23中選中選5種一共有種一共有 種種8!5!3!5種編碼種編碼5個(gè)狀態(tài)，又有個(gè)狀態(tài)，又有5!種種00010010111011121214、根據(jù)狀態(tài)表和狀態(tài)編碼構(gòu)造轉(zhuǎn)移、根據(jù)狀態(tài)表和狀態(tài)編碼構(gòu)造

15、轉(zhuǎn)移/輸出表輸出表INITA0A1OK0OK1SAB00 01 11 10S*Z0A0A0A1A10OK0OK0A1A10A0A0OK1OK11OK0OK0 A11A0OK1OK1OK0 OK1 000100100100100100100101110101101101101101110110110110110111111111111111111Q1Q2Q3Q1*Q2*Q3*5個(gè)輸入變量個(gè)輸入變量： A,B,Q1,Q2,Q34個(gè)輸出變量個(gè)輸出變量： Z,D1,D2,D3D1 D2 D3轉(zhuǎn)移轉(zhuǎn)移/激勵表激勵表5、觸發(fā)器選型，得到激勵方程和輸出方程、觸發(fā)器選型，得到激勵方程和輸出方程使用使用D觸發(fā)器

16、觸發(fā)器2222AB00 01 11 10Z00011000100101110111Q1Q2Q3100100100100100101101101101110110110110101110111111111111111Q1*Q2*Q3*D1 D2 D3Q2Q3AB00 01 11 1000011110Q1=0D2Q2Q3AB00 01 11 1000011110Q1=100001100001101111110000000000000最小冒險(xiǎn)，未用狀態(tài)最小冒險(xiǎn)，未用狀態(tài)初始狀態(tài)初始狀態(tài)輸出方程：輸出方程：Z = Q1Q22323Q2Q3AB00 01 11 1000011110Q1=0D200000

17、00000000000最小冒險(xiǎn)，未用狀態(tài)最小冒險(xiǎn)，未用狀態(tài)初始狀態(tài)初始狀態(tài)Q2Q3AB00 01 11 1000011110Q1=11100001101111110D2 = Q1Q3A + Q1Q3A + Q1Q2BQ2Q3AB00 01 11 1000011110Q1=0D20000dddddddddddd最小成本最小成本，未用狀態(tài)作為無關(guān)項(xiàng)未用狀態(tài)作為無關(guān)項(xiàng)D2 = Q1Q3A + Q3A+ Q2B2424D1D2 = Q1Q3A + Q1Q3A + Q1Q2BD1 = Q2Q3 + Q1思考：最小成本法思考：最小成本法D1D1？2525D3D3 = Q2Q3A + Q1AD2 = Q1Q

18、3A + Q1Q3A + Q1Q2BD1 = Q2Q3 + Q1激勵方程激勵方程D3 = Q2Q3A + Q1A思考：最小成本法思考：最小成本法D3D3？26266、畫邏輯電路圖（略）、畫邏輯電路圖（略）D3 = Q2Q3A + Q1AD2 = Q1Q3A + Q1Q3A + Q1Q2BD1 = Q2Q3 + Q1激勵方程激勵方程D3 = Q2Q3A + Q1A輸出方程：輸出方程：Z = Q1Q2說明：說明： 最小冒險(xiǎn)法最小冒險(xiǎn)法 所有未用狀態(tài)所有未用狀態(tài) “安全安全”狀態(tài)狀態(tài)（ P415圖圖7-52 ） 最小成本法最小成本法 所有未用狀態(tài)的下一狀態(tài)作為無關(guān)項(xiàng)所有未用狀態(tài)的下一狀態(tài)作為無關(guān)項(xiàng)

19、電路的激勵方程簡單，不夠安全（電路的激勵方程簡單，不夠安全（ P416圖圖7-53）2727用用J-KJ-K觸發(fā)器設(shè)計(jì)觸發(fā)器設(shè)計(jì)方法一方法一利用狀態(tài)方程和觸發(fā)器特征方程得到激勵方程利用狀態(tài)方程和觸發(fā)器特征方程得到激勵方程方法二方法二利用狀態(tài)轉(zhuǎn)移表和激勵表得到激勵方程利用狀態(tài)轉(zhuǎn)移表和激勵表得到激勵方程激勵表激勵表Q Q*0 00 11 01 1J K0 d1 dd 1d 0J K Q0 0 0 11 01 1保持保持清清0置置1翻轉(zhuǎn)翻轉(zhuǎn)功能表功能表2828J-K觸發(fā)器特征方程：觸發(fā)器特征方程：Q* = JQ + KQ利用狀態(tài)方程和特征方程設(shè)計(jì)利用狀態(tài)方程和特征方程設(shè)計(jì)Q1* = Q2Q3 + Q

20、1 = Q2Q3(Q1+Q1) + Q1 = Q2Q3Q1+ Q2Q3Q1 + Q1 = Q2Q3Q1 + Q1Q3* = Q2Q3A + Q1AQ2* = Q1Q3A + Q1Q3A + Q1Q2BQ1* = Q2Q3 + Q1狀態(tài)方程狀態(tài)方程J1 = Q2Q3K1 = 0 2929J-K觸發(fā)器特征方程：觸發(fā)器特征方程：Q* = JQ + KQ利用狀態(tài)方程和特征方程設(shè)計(jì)利用狀態(tài)方程和特征方程設(shè)計(jì)Q3* = Q2Q3A + Q1AQ2* = Q1Q3A + Q1Q3A + Q1Q2BQ1* = Q2Q3 + Q1狀態(tài)方程狀態(tài)方程Q3* = Q2Q3A + Q1A = Q2Q3A + Q1A(Q

21、3+Q3) = (Q2A + Q1A)Q3+ Q1AQ3J3 = Q2A + Q1AK3 = Q1 + AJ1 = Q2Q3K1 = 0 3030Q2* = Q1Q3A + Q1Q3A + Q1Q2B = (Q1Q3A + Q1Q3A)(Q2+Q2) + Q1Q2B = (Q1Q3A + Q1Q3A)Q2 + (Q1Q3A + Q1Q3A + Q1B)Q2K2 = (Q1Q3A + Q1Q3A + Q1B) = (Q1+Q3+A)(Q1+Q3+A)(Q1+B) = Q1 + Q3AB + Q3AB J2 = Q1Q3A + Q1Q3A K2 = Q1 + Q3AB + Q3ABJ1 = Q2Q

22、3K1 = 0 J3 = Q2A + Q1AK3 = Q1A3131AB 00 01 11 10Z00011000100100100100100100101110101101101101101110110110110110111111111111111111Q1Q2Q3Q1*Q2*Q3*J1K1 , J2K2 , J3K31d,0d,0d1d,0d,0d1d,0d,1d1d,0d,1dd0,1d,0dd0,1d,0dd0,0d,1dd0,0d,1dd0,0d,d1d0,0d,d1d0,1d,d0d0,1d,d0d0,d0,0dd0,d0,0dd0,d0,1dd0,d1,1dd0,d1,d1d0

23、,d0,d1d0,d0,d0d0,d0,d0利用激勵表進(jìn)行利用激勵表進(jìn)行J-KJ-K觸發(fā)器設(shè)計(jì)觸發(fā)器設(shè)計(jì)3232AB 00 01 11 10Z00011000100100100100100100101110101101101101101110110110110110111111111111111111Q1Q2Q3Q1*Q2*Q3*J1K1 , J2K2 , J3K31d,0d,0d1d,0d,0d1d,0d,1d1d,0d,1dd0,1d,0dd0,1d,0dd0,0d,1dd0,0d,1dd0,0d,d1d0,0d,d1d0,1d,d0d0,1d,d0d0,d0,0dd0,d0,0dd0,d

24、0,1dd0,d1,1dd0,d1,d1d0,d0,d1d0,d0,d0d0,d0,d0利用卡諾圖化簡，教材利用卡諾圖化簡，教材P418P4183333合理的狀態(tài)賦值合理的狀態(tài)賦值選擇復(fù)位時(shí)容易進(jìn)入的狀態(tài)作為初始狀態(tài)選擇復(fù)位時(shí)容易進(jìn)入的狀態(tài)作為初始狀態(tài)使每次轉(zhuǎn)移時(shí)要發(fā)生改變的狀態(tài)變量數(shù)最小化使每次轉(zhuǎn)移時(shí)要發(fā)生改變的狀態(tài)變量數(shù)最小化使一組相關(guān)狀態(tài)中不變化的狀態(tài)變量數(shù)最大化使一組相關(guān)狀態(tài)中不變化的狀態(tài)變量數(shù)最大化發(fā)現(xiàn)和利用問題描述中的發(fā)現(xiàn)和利用問題描述中的對稱性對稱性將狀態(tài)變量組將狀態(tài)變量組分解分解為有明確含義的位或字段，相為有明確含義的位或字段，相對于狀態(tài)機(jī)的輸入效果或者輸出特性對于狀態(tài)機(jī)的輸入

25、效果或者輸出特性可以使用多余最小值的狀態(tài)變量數(shù)（便于分解）可以使用多余最小值的狀態(tài)變量數(shù)（便于分解）未用狀態(tài)的考慮未用狀態(tài)的考慮3434例二：例二：“1”“1”計(jì)數(shù)器計(jì)數(shù)器（P419P419）對兩個(gè)輸入對兩個(gè)輸入X和和Y同時(shí)計(jì)數(shù)，當(dāng)同時(shí)計(jì)數(shù)，當(dāng)1的個(gè)數(shù)為的個(gè)數(shù)為4的整數(shù)倍時(shí)輸出為的整數(shù)倍時(shí)輸出為11起始狀態(tài)起始狀態(tài) S0S0XY 00 01 11 10Z含義含義 SS*S1收到一個(gè)收到一個(gè)1 S1S2收到兩個(gè)收到兩個(gè)1 S2S10S1S2S3收到三個(gè)收到三個(gè)1 S3S20S2S3S0S3S3S0S1S00000111103535雷鳥車尾燈雷鳥車尾燈LALBLCRARBRC輸入：左轉(zhuǎn)輸入：左轉(zhuǎn)L

26、、右轉(zhuǎn)右轉(zhuǎn)R、應(yīng)急閃爍應(yīng)急閃爍H（hazard）、）、時(shí)鐘時(shí)鐘輸出：控制輸出：控制6個(gè)燈亮或滅個(gè)燈亮或滅 可以完全由狀態(tài)控制可以完全由狀態(tài)控制3636IDLE：全滅全滅L1：左邊左邊1個(gè)燈亮個(gè)燈亮L2：左邊左邊2個(gè)燈亮個(gè)燈亮L3：左邊左邊3個(gè)燈亮個(gè)燈亮R1：右邊右邊1個(gè)燈亮個(gè)燈亮R2：右邊右邊2個(gè)燈亮個(gè)燈亮R3：右邊右邊3個(gè)燈亮個(gè)燈亮LR3：全亮全亮狀態(tài)狀態(tài)輸輸 出出直接利用狀態(tài)控制輸出直接利用狀態(tài)控制輸出37371、構(gòu)造狀態(tài)圖、構(gòu)造狀態(tài)圖IDLE：全滅全滅L1：左邊左邊1個(gè)燈亮個(gè)燈亮L2：左邊左邊2個(gè)燈亮個(gè)燈亮L3：左邊左邊3個(gè)燈亮個(gè)燈亮R1：右邊右邊1個(gè)燈亮個(gè)燈亮R2：右邊右邊2個(gè)燈亮個(gè)燈

27、亮R3：右邊右邊3個(gè)燈亮個(gè)燈亮LR3：全亮全亮IDLEL1LL21L311R1RR21R311LR3H1HLRH+LRLHRRHL無二義性的無二義性的3838IDLEL1LL21L311R1RR21R311LR3H1HLRH+LRLHRRHL1、構(gòu)造狀態(tài)圖、構(gòu)造狀態(tài)圖完備性完備性 離開某一狀態(tài)的弧離開某一狀態(tài)的弧線上的所有轉(zhuǎn)移表達(dá)線上的所有轉(zhuǎn)移表達(dá)式的邏輯和為式的邏輯和為1 1。無二義性的無二義性的HRH+RH+RHRHLHLH+LH+L改進(jìn)改進(jìn)互斥性互斥性 離開某一狀態(tài)的弧離開某一狀態(tài)的弧線上的任意一對轉(zhuǎn)移線上的任意一對轉(zhuǎn)移表達(dá)式的邏輯積為表達(dá)式的邏輯積為0 039392、狀態(tài)編碼、狀態(tài)編碼

28、Q2Q1Q00 0 00 0 10 1 10 1 01 0 11 1 11 1 01 0 01、構(gòu)造狀態(tài)圖、構(gòu)造狀態(tài)圖IDLEL1L2L3R1R2R3LR3合理的狀態(tài)賦值合理的狀態(tài)賦值3、得到轉(zhuǎn)移列表、得到轉(zhuǎn)移列表 P42740402、狀態(tài)編碼、狀態(tài)編碼1、構(gòu)造狀態(tài)圖、構(gòu)造狀態(tài)圖3、得到轉(zhuǎn)移列表、得到轉(zhuǎn)移列表 P427HLRLHRRHL0 0 00 0 00 0 00 0 0H+LR0 0 00 0 11 0 11 0 0IDLEQ2Q1Q0 S轉(zhuǎn)移表達(dá)式轉(zhuǎn)移表達(dá)式S* Q2*Q1*Q0*IDLEL1R1LR34141Q2Q1Q0 S轉(zhuǎn)移表達(dá)式轉(zhuǎn)移表達(dá)式S* Q2*Q1*Q0*HLRLHRRH

29、LH+LR0 0 00 0 00 0 00 0 00 0 00 0 11 0 11 0 0IDLEIDLEL1R1LR3L10 0 10 0 1L2LR30 1 11 0 0HRH+RL20 1 10 1 1L3LR30 1 01 0 0HRH+RL30 1 0IDLE0 0 01R11 0 11 0 1R2LR31 1 11 0 0HLH+LR21 1 11 1 1R3LR31 1 01 0 0HLH+LR31 1 0IDLE0 0 01LR31 0 0IDLE0 0 011111Q0* = Q2Q1Q0(LHR)+ Q2Q1Q0(RHL)+ Q2Q1Q0(HR)+ Q2Q1Q0(HL)=

30、Q2Q1Q0 H(L R) + Q2Q1Q0(HR) + Q2Q1Q0(HL)用轉(zhuǎn)移表綜合用轉(zhuǎn)移表綜合狀態(tài)機(jī)狀態(tài)機(jī) P4284242猜謎游戲機(jī)（猜謎游戲機(jī)（P430P430）4 4個(gè)燈（個(gè)燈（G1G1G4G4）由時(shí)鐘控制輪流亮起由時(shí)鐘控制輪流亮起如果按下的按鈕（如果按下的按鈕（L1L1L4L4）與亮的燈對應(yīng)，則猜對與亮的燈對應(yīng)，則猜對否則，否則，ERRERR燈亮，表示猜錯燈亮，表示猜錯輸入：輸入：G1G1、G2G2、G3G3、G4G4（4 4個(gè)按鈕）個(gè)按鈕）輸出：輸出：L1L1、L2L2、L3L3、L4L4、ERRERR（5 5個(gè)燈）個(gè)燈）狀態(tài)：狀態(tài)：6 6個(gè)，個(gè)，S1S1S4S4對應(yīng)對應(yīng)L1L1L4L4 Serr Serr對應(yīng)對應(yīng)ERRERR；SOKSOK表示猜對表示猜對4343G1G2G3G4G1