第5講-有限狀態(tài)機(jī)

1、有限狀態(tài)機(jī)有限狀態(tài)機(jī)Finite State MachineFinite State Machine例：計(jì)數(shù)器設(shè)計(jì)例：計(jì)數(shù)器設(shè)計(jì) 設(shè)計(jì)一電路，包含基設(shè)計(jì)一電路，包含基4計(jì)數(shù)器，和譯碼輸出模塊。計(jì)數(shù)器，和譯碼輸出模塊。計(jì)數(shù)器的輸出計(jì)數(shù)器的輸出(Present_value)從從0到到3循環(huán)；循環(huán)；當(dāng)計(jì)數(shù)值為當(dāng)計(jì)數(shù)值為2時(shí)，譯碼輸出時(shí)，譯碼輸出(DataOut)為為“1”，否則輸出否則輸出“0”。Regs1ClkPresent_valueQ(n)Next_valueQ(n+1) 譯碼譯碼DataOutZ(n)00/001/010/111/0Regs1ClkPresent_valueQ(n)Next_

2、valueQ(n+1) 譯碼譯碼DataOutZ(n)00/001/010/111/0擴(kuò)展一個(gè)輸入端擴(kuò)展一個(gè)輸入端din，當(dāng)當(dāng)din = 1時(shí)計(jì)數(shù)器遞時(shí)計(jì)數(shù)器遞增計(jì)數(shù)；當(dāng)增計(jì)數(shù)；當(dāng)din = 0時(shí)時(shí)計(jì)數(shù)器遞減計(jì)數(shù)。計(jì)數(shù)器遞減計(jì)數(shù)。dinDin=1Din = 1Din = 1Din = 1Din = 0Din = 0Din = 0Din = 0Regs/-1ClkPresent_valueQ(n)Next_valueQ(n+1) 譯碼譯碼DataOutZ(n)再將計(jì)數(shù)器修改成一再將計(jì)數(shù)器修改成一個(gè)狀態(tài)轉(zhuǎn)換器，狀態(tài)個(gè)狀態(tài)轉(zhuǎn)換器，狀態(tài)為為S0, S1, S2, S3。每個(gè)狀態(tài)的取值根據(jù)每個(gè)狀態(tài)的取值

3、根據(jù)具體情況而定。比如具體情況而定。比如S0 = 00, S1 = 11, S3 = 01, S4 = 10。din00/001/010/111/0Din=1Din = 1Din = 1Din = 1Din = 0Din = 0Din = 0Din = 0Regs/-1ClkPresent_valueQ(n)Next_valueQ(n+1) 譯碼譯碼DataOutZ(n)再將計(jì)數(shù)器修改成一再將計(jì)數(shù)器修改成一個(gè)狀態(tài)轉(zhuǎn)換器，狀態(tài)個(gè)狀態(tài)轉(zhuǎn)換器，狀態(tài)為為S0, S1, S2, S3。每個(gè)狀態(tài)的取值根據(jù)每個(gè)狀態(tài)的取值根據(jù)具體情況而定。比如具體情況而定。比如S0 = 00, S1 = 11, S3 = 0

4、1, S4 = 10。dinS0/0S1/0S2/1S3/0Din=1Din = 1Din = 1Din = 1Din = 0Din = 0Din = 0Din = 0Regs/-1ClkPresent_valueQ(n)Next_valueQ(n+1) 譯碼譯碼DataOutZ(n)現(xiàn)在我們得到了一個(gè)比較通用現(xiàn)在我們得到了一個(gè)比較通用的時(shí)序電路，這種電路統(tǒng)稱(chēng)為的時(shí)序電路，這種電路統(tǒng)稱(chēng)為狀態(tài)機(jī)狀態(tài)機(jī)(State Machine)。dinS0/0S1/0S2/1S3/0Din=1Din = 1Din = 1Din = 1Din = 0Din = 0Din = 0Din = 0Regs/-1Clk

5、Present_valueQ(n)Next_valueQ(n+1) 譯碼譯碼DataOutZ(n)有限狀態(tài)機(jī)概述有限狀態(tài)機(jī)概述數(shù)字系統(tǒng)控制部分的每一個(gè)控制態(tài)可以看數(shù)字系統(tǒng)控制部分的每一個(gè)控制態(tài)可以看作一種狀態(tài)，與每一個(gè)控制態(tài)相關(guān)的轉(zhuǎn)換作一種狀態(tài)，與每一個(gè)控制態(tài)相關(guān)的轉(zhuǎn)換條件指定了當(dāng)前狀態(tài)的下一個(gè)狀態(tài)和輸出。條件指定了當(dāng)前狀態(tài)的下一個(gè)狀態(tài)和輸出。根據(jù)有限狀態(tài)機(jī)的輸出與當(dāng)前狀態(tài)與當(dāng)前根據(jù)有限狀態(tài)機(jī)的輸出與當(dāng)前狀態(tài)與當(dāng)前輸入的關(guān)系，可以分成輸入的關(guān)系，可以分成Moore型和型和Mealy型兩種類(lèi)型的有限狀態(tài)機(jī)。型兩種類(lèi)型的有限狀態(tài)機(jī)。 Moore狀態(tài)機(jī)和狀態(tài)機(jī)和Mealy狀態(tài)機(jī)狀態(tài)機(jī)Moore狀態(tài)機(jī)

6、的輸出只與當(dāng)前狀態(tài)有關(guān)狀態(tài)機(jī)的輸出只與當(dāng)前狀態(tài)有關(guān)次態(tài)次態(tài)邏輯邏輯狀狀 態(tài)態(tài)寄存器寄存器輸出輸出邏輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位Moore狀態(tài)機(jī)和狀態(tài)機(jī)和Mealy狀態(tài)機(jī)狀態(tài)機(jī)Mealy狀態(tài)機(jī)的輸出與當(dāng)前狀態(tài)機(jī)及狀態(tài)機(jī)的輸出與當(dāng)前狀態(tài)機(jī)及當(dāng)前輸入信號(hào)有關(guān)當(dāng)前輸入信號(hào)有關(guān)次態(tài)次態(tài)邏輯邏輯狀狀 態(tài)態(tài)寄存器寄存器輸出輸出邏輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位狀態(tài)機(jī)的表示方法狀態(tài)機(jī)的表示方法狀態(tài)轉(zhuǎn)換表狀態(tài)轉(zhuǎn)換表算法流程圖算法流程圖狀態(tài)轉(zhuǎn)換圖狀態(tài)轉(zhuǎn)換圖這是最流行的這是最流行的表示方法表示方法狀態(tài)轉(zhuǎn)換圖狀態(tài)轉(zhuǎn)換圖狀態(tài)狀態(tài)1狀態(tài)狀態(tài)4狀態(tài)狀態(tài)2狀態(tài)狀態(tài)3入入/出出入

7、入/出出入入/出出入入/出出/出出Mealy條件控條件控制定序制定序直接控直接控制定序制定序用用VHDL描述狀態(tài)機(jī)的組成描述狀態(tài)機(jī)的組成一個(gè)用來(lái)描述有限狀態(tài)機(jī)功能的一個(gè)用來(lái)描述有限狀態(tài)機(jī)功能的VHDL語(yǔ)言程序中應(yīng)該包含以下幾個(gè)內(nèi)容：語(yǔ)言程序中應(yīng)該包含以下幾個(gè)內(nèi)容：(1)至少包括一個(gè)至少包括一個(gè)狀態(tài)信號(hào)狀態(tài)信號(hào)，它們用來(lái)指定有，它們用來(lái)指定有限狀態(tài)機(jī)的狀態(tài)；限狀態(tài)機(jī)的狀態(tài)；(2)狀態(tài)轉(zhuǎn)移狀態(tài)轉(zhuǎn)移指定和指定和輸出指定輸出指定，它們對(duì)應(yīng)于控，它們對(duì)應(yīng)于控制單元中與每個(gè)控制步有關(guān)的轉(zhuǎn)移條件；制單元中與每個(gè)控制步有關(guān)的轉(zhuǎn)移條件；(3)時(shí)鐘信號(hào)，它一般是用來(lái)進(jìn)行同步的；時(shí)鐘信號(hào)，它一般是用來(lái)進(jìn)行同步的；(

8、4)同步或異步復(fù)位信號(hào)。同步或異步復(fù)位信號(hào)。 狀態(tài)機(jī)的狀態(tài)機(jī)的VHDL描述方式描述方式(1)單進(jìn)程描述方式：?jiǎn)芜M(jìn)程描述方式就是指在單進(jìn)程描述方式：?jiǎn)芜M(jìn)程描述方式就是指在VHDL語(yǔ)言程序的結(jié)構(gòu)體中，使用一個(gè)進(jìn)程語(yǔ)句語(yǔ)言程序的結(jié)構(gòu)體中，使用一個(gè)進(jìn)程語(yǔ)句來(lái)描述有限狀態(tài)機(jī)中的次態(tài)邏輯、狀態(tài)寄存器和來(lái)描述有限狀態(tài)機(jī)中的次態(tài)邏輯、狀態(tài)寄存器和輸出邏輯。輸出邏輯。(2)雙進(jìn)程描述方式：一個(gè)進(jìn)程語(yǔ)句用來(lái)描述有限雙進(jìn)程描述方式：一個(gè)進(jìn)程語(yǔ)句用來(lái)描述有限狀態(tài)機(jī)中次態(tài)邏輯、狀態(tài)寄存器和輸出邏輯中的狀態(tài)機(jī)中次態(tài)邏輯、狀態(tài)寄存器和輸出邏輯中的任何兩個(gè)；另外一個(gè)進(jìn)程則用來(lái)描述有限狀態(tài)機(jī)任何兩個(gè)；另外一個(gè)進(jìn)程則用來(lái)描述有限

9、狀態(tài)機(jī)剩余的功能。剩余的功能。(3)三進(jìn)程描述方式：一個(gè)進(jìn)程用來(lái)描述有限狀態(tài)三進(jìn)程描述方式：一個(gè)進(jìn)程用來(lái)描述有限狀態(tài)機(jī)中的次態(tài)邏輯；一個(gè)進(jìn)程用來(lái)描述有限狀態(tài)機(jī)機(jī)中的次態(tài)邏輯；一個(gè)進(jìn)程用來(lái)描述有限狀態(tài)機(jī)中的狀態(tài)寄存器；另外一個(gè)進(jìn)程用來(lái)描述有限狀中的狀態(tài)寄存器；另外一個(gè)進(jìn)程用來(lái)描述有限狀態(tài)機(jī)中的輸出邏輯。態(tài)機(jī)中的輸出邏輯。狀態(tài)機(jī)的狀態(tài)機(jī)的VHDL描述方式描述方式描述方式描述方式進(jìn)程描述功能進(jìn)程描述功能三進(jìn)程描述方式三進(jìn)程描述方式進(jìn)程進(jìn)程1：描述次態(tài)邏輯：描述次態(tài)邏輯進(jìn)程進(jìn)程2：描述狀態(tài)寄存器：描述狀態(tài)寄存器進(jìn)程進(jìn)程3：描述輸出邏輯：描述輸出邏輯雙進(jìn)程描雙進(jìn)程描述方式述方式 形式形式1 進(jìn)程進(jìn)程1：

10、描述次態(tài)邏輯、狀態(tài)寄存器：描述次態(tài)邏輯、狀態(tài)寄存器進(jìn)程進(jìn)程2：描述輸出邏輯：描述輸出邏輯形式形式2 進(jìn)程進(jìn)程1：描述狀態(tài)寄存器、輸出邏輯：描述狀態(tài)寄存器、輸出邏輯進(jìn)程進(jìn)程2：描述次態(tài)邏輯：描述次態(tài)邏輯形式形式3 進(jìn)程進(jìn)程1：描述次態(tài)邏輯、輸出邏輯：描述次態(tài)邏輯、輸出邏輯進(jìn)程進(jìn)程2：描述狀態(tài)寄存器：描述狀態(tài)寄存器單進(jìn)程描述方式單進(jìn)程描述方式進(jìn)程進(jìn)程1：描述次態(tài)邏輯、狀態(tài)寄存器和：描述次態(tài)邏輯、狀態(tài)寄存器和輸出邏輯輸出邏輯存儲(chǔ)控制器存儲(chǔ)控制器idledecisionreadwritereadyread_writereadyreadyreadyreadyreadyread_write 設(shè)計(jì)一個(gè)存儲(chǔ)控

11、制器，設(shè)計(jì)一個(gè)存儲(chǔ)控制器，它的具體要求為它的具體要求為:(1)存存儲(chǔ)控制器能夠根據(jù)微處儲(chǔ)控制器能夠根據(jù)微處理器的讀周期或者寫(xiě)周理器的讀周期或者寫(xiě)周期，分別對(duì)存儲(chǔ)器輸出期，分別對(duì)存儲(chǔ)器輸出寫(xiě)使能信號(hào)寫(xiě)使能信號(hào)we和讀使能和讀使能信號(hào)信號(hào)oe；(2)存儲(chǔ)控制存儲(chǔ)控制器的輸入信號(hào)有器的輸入信號(hào)有3個(gè)個(gè):微微處理器的準(zhǔn)備就緒信號(hào)處理器的準(zhǔn)備就緒信號(hào)ready、微處理器的讀、微處理器的讀寫(xiě)信號(hào)寫(xiě)信號(hào)read_write和和時(shí)鐘信號(hào)時(shí)鐘信號(hào)clk。 存儲(chǔ)控制器存儲(chǔ)控制器列出當(dāng)前狀態(tài)和輸出值的關(guān)系列出當(dāng)前狀態(tài)和輸出值的關(guān)系狀態(tài)狀態(tài)輸出輸出OEWEidle00decision00write01read10建立

12、狀態(tài)轉(zhuǎn)換表，列出次態(tài)和轉(zhuǎn)換條件建立狀態(tài)轉(zhuǎn)換表，列出次態(tài)和轉(zhuǎn)換條件當(dāng)前狀態(tài)當(dāng)前狀態(tài)次態(tài)次態(tài)轉(zhuǎn)換條件轉(zhuǎn)換條件idledecisionready=1decisionwritew_r=0readw_r=1writeidleready=1writeready=0readidleready=1readready=0利用利用VHDLVHDL語(yǔ)言進(jìn)行狀態(tài)機(jī)描述語(yǔ)言進(jìn)行狀態(tài)機(jī)描述所有狀態(tài)均可以表達(dá)為所有狀態(tài)均可以表達(dá)為CASE-WHENCASE-WHEN結(jié)構(gòu)結(jié)構(gòu)中的一條語(yǔ)句。中的一條語(yǔ)句。狀態(tài)的轉(zhuǎn)移通過(guò)狀態(tài)的轉(zhuǎn)移通過(guò)if-then-elseif-then-else語(yǔ)句實(shí)現(xiàn)。語(yǔ)句實(shí)現(xiàn)。CASE present_s

13、tate IS WHEN idle = 輸出量；輸出量； IF ELSE END IF;有些狀態(tài)的轉(zhuǎn)換中，在條件滿(mǎn)足時(shí)，有些狀態(tài)的轉(zhuǎn)換中，在條件滿(mǎn)足時(shí)，轉(zhuǎn)換到下一個(gè)狀態(tài)，否則保持原來(lái)的轉(zhuǎn)換到下一個(gè)狀態(tài)，否則保持原來(lái)的狀態(tài)不變。狀態(tài)不變。這種情況對(duì)應(yīng)著這種情況對(duì)應(yīng)著IF-THEN-ELSE的兩個(gè)分支。的兩個(gè)分支。在這種情況下，在這種情況下，ELSE分支并不是必需分支并不是必需的。但是缺少的。但是缺少ELSE分支，會(huì)導(dǎo)致額外分支，會(huì)導(dǎo)致額外的存儲(chǔ)器。的存儲(chǔ)器。狀態(tài)轉(zhuǎn)換狀態(tài)轉(zhuǎn)換狀態(tài)描述的步驟：對(duì)每一個(gè)狀態(tài)建立一項(xiàng)對(duì)每一個(gè)狀態(tài)建立一項(xiàng)CASE語(yǔ)句的分支語(yǔ)句的分支 WHEN 狀態(tài)名狀態(tài)名 =確定輸出變量

14、確定輸出變量通過(guò)通過(guò)IF-THEN-ELSE語(yǔ)句指定相應(yīng)的次語(yǔ)句指定相應(yīng)的次態(tài)。態(tài)。例case present_state is - CASE分支分支when idle =oe=0;we=0; -確定輸出變量確定輸出變量if(ready = 1) then-確定次態(tài)確定次態(tài)next_state = decision;elsenext_state IF(ready = 1) THENnext_state = decision;ELSEnext_state = idle;END IF;END CASE;END PROCESS nextstate_logic; 例：三進(jìn)程描述方式例：三進(jìn)程描述方式2

15、 2state_register: PROCESS(clk)BEGIN IF(RISING_EDGE(clk) THEN present_state we = 0;oe we=0;oewe=0;oewe=1;oe=0; END CASE;END PROCESS output_logic; 任務(wù)任務(wù)1 1：空調(diào)控制器：空調(diào)控制器S1S2S3thigh=0tlow=0thigh=0tlow=1thigh=1tlow=0thigh=0tlow=1thigh=0tlow=0thigh=1tlow=0hot=0cool=0hot=0cool=1hot=1cool=0空調(diào)控制器狀態(tài)轉(zhuǎn)換圖空調(diào)控制器狀態(tài)轉(zhuǎn)換

16、圖任務(wù)任務(wù)1 1：空調(diào)控制器：空調(diào)控制器S1S1：表示溫度適中，不高也不低，對(duì)應(yīng)著輸入信號(hào)thigh和tlow均為低電平(無(wú)效)，空調(diào)器既不制冷也不制熱，因此輸出控制信號(hào)hot和cool都是低電平。S2S2：表示溫度太低，對(duì)應(yīng)著輸入信號(hào)tlow為高電平，thigh為低電平，此時(shí)空調(diào)器應(yīng)該工作在制熱狀態(tài)，相應(yīng)的輸出控制信號(hào)hot為高電平，cool無(wú)效。S3S3：表示溫度太高，對(duì)應(yīng)著輸入信號(hào)thigh為高電平，tlow為低電平，此時(shí)空調(diào)器應(yīng)該工作在制冷狀態(tài)，相應(yīng)的輸出控制信號(hào)cool為高電平，hot無(wú)效。任務(wù)任務(wù)1 1：空調(diào)控制器：空調(diào)控制器狀態(tài)轉(zhuǎn)換表狀態(tài)轉(zhuǎn)換表當(dāng)前當(dāng)前狀態(tài)狀態(tài)轉(zhuǎn)換條件轉(zhuǎn)換條件下一

17、下一狀態(tài)狀態(tài)執(zhí)行操作執(zhí)行操作輸出值輸出值S1thigh=0&tlow=1thigh=1&tlow=0S2S3制熱制熱制冷制冷hot=1/cool=0hot=0/cool=1S2thigh=0&tlow=0thigh=1&tlow=0S1S3既不制冷也不制熱既不制冷也不制熱制冷制冷hot=0/cool=0hot=0/cool=1S3thigh=0&tlow=0thigh=0&tlow=1S1S2既不制冷也不制熱既不制冷也不制熱制熱制熱hot=0/cool=0hot=1/cool=0選做：狀態(tài)機(jī)的應(yīng)用設(shè)計(jì)選做：狀態(tài)機(jī)的應(yīng)用設(shè)計(jì)例子：設(shè)計(jì)一個(gè)二進(jìn)制序列

18、檢測(cè)器，當(dāng)檢測(cè)到例子：設(shè)計(jì)一個(gè)二進(jìn)制序列檢測(cè)器，當(dāng)檢測(cè)到10110序列時(shí)，就輸出序列時(shí)，就輸出1(一個(gè)時(shí)鐘周期的脈沖一個(gè)時(shí)鐘周期的脈沖)。其他情況下輸出其他情況下輸出0。 規(guī)定檢測(cè)到一次之后，檢測(cè)器復(fù)位到最初始的狀規(guī)定檢測(cè)到一次之后，檢測(cè)器復(fù)位到最初始的狀態(tài)，重新從頭檢測(cè)。如下所示：態(tài)，重新從頭檢測(cè)。如下所示：輸入：輸入：01101101101100輸出：輸出：00000001000001狀態(tài)轉(zhuǎn)換圖設(shè)計(jì)（狀態(tài)轉(zhuǎn)換圖設(shè)計(jì)（MooreMoore）10110S0/0S1/0S2/0S3/0S4/0S5/1Reset1100110100101011 0s1 s2s3s4 s5s0問(wèn)題問(wèn)題1：如何保證：

19、如何保證狀態(tài)機(jī)在初始時(shí)狀狀態(tài)機(jī)在初始時(shí)狀態(tài)為態(tài)為s0？問(wèn)題問(wèn)題2：在狀態(tài)機(jī)：在狀態(tài)機(jī)跑飛，即脫離有效跑飛，即脫離有效狀態(tài)狀態(tài)(s0s5)時(shí)，時(shí)，如何使?fàn)顟B(tài)機(jī)能恢如何使?fàn)顟B(tài)機(jī)能恢復(fù)工作復(fù)工作Sx/0波形波形波形如下圖波形如下圖所示所示問(wèn)題：如果需要問(wèn)題：如果需要將輸出脈沖往前將輸出脈沖往前推一個(gè)時(shí)鐘周期，推一個(gè)時(shí)鐘周期，該如何修改設(shè)計(jì)？該如何修改設(shè)計(jì)？101101011 0s1 s2s3s4 s5s0輸入輸入時(shí)鐘時(shí)鐘輸出輸出當(dāng)前狀態(tài)當(dāng)前狀態(tài) 發(fā)現(xiàn)當(dāng)前狀態(tài)發(fā)現(xiàn)當(dāng)前狀態(tài)為為s4，并且輸入并且輸入為為0時(shí)時(shí)，輸出為，輸出為1。狀態(tài)轉(zhuǎn)換圖設(shè)計(jì)狀態(tài)轉(zhuǎn)換圖設(shè)計(jì)(Mealy)(Mealy)S0S1S2S3S4

20、S5Reset100110100101sX/0/0/0/0/0/0/0/0/0/1/0/0101101011 0s1 s2s3s4 s5s0/00/1s0狀態(tài)機(jī)的代碼實(shí)現(xiàn)狀態(tài)機(jī)的代碼實(shí)現(xiàn) 狀態(tài)定義狀態(tài)定義Architecture rtl of Syn isArchitecture rtl of Syn is - - 其他信號(hào)定義。其他信號(hào)定義。Type SynFsmState is ( s0, s1, s2, s3, s4, s5);Type SynFsmState is ( s0, s1, s2, s3, s4, s5);Signal SynCst, SynNst : SynFsmState

21、;Signal SynCst, SynNst : SynFsmState;Begin Begin - - 結(jié)構(gòu)體。結(jié)構(gòu)體。End rtl;End rtl;狀態(tài)機(jī)的代碼實(shí)現(xiàn)狀態(tài)機(jī)的代碼實(shí)現(xiàn)狀態(tài)寄存器進(jìn)程描述狀態(tài)寄存器進(jìn)程描述狀態(tài)寄存器輸出譯碼下一狀態(tài)譯碼當(dāng)前狀當(dāng)前狀態(tài)態(tài)輸出輸出下一狀態(tài)下一狀態(tài)輸入輸入時(shí)鐘時(shí)鐘clkclk狀態(tài)寄存器進(jìn)程描述狀態(tài)寄存器進(jìn)程描述Process( clk, Reset )Begin if( Reset = 1 ) then SynCst = S0; - 初始狀態(tài)。初始狀態(tài)。 elsif( clkevent and clk = 1 ) then SynCst when s

22、1 = when s5 = End case;End process; if( din = 1 ) then SynNst = s1; else SynNst SynNst when s1 = when s5 = when others = End case;End process;MooreMealyDout = 0;Dout = 0;Dout = 0if( din = 1 ) then else end if;, din )任務(wù)任務(wù)2 2：交通燈控制器：交通燈控制器模擬顯示十字路口兩個(gè)方向的交通通模擬顯示十字路口兩個(gè)方向的交通通行情況。兩個(gè)方向均用紅、黃、綠燈行情況。兩個(gè)方向均用紅、黃、綠燈指示實(shí)際狀態(tài)。指示實(shí)際狀態(tài)。 用用LEDLED同時(shí)顯示兩個(gè)方向狀態(tài)的時(shí)間。同時(shí)顯示兩個(gè)方向狀態(tài)的時(shí)間。時(shí)間計(jì)數(shù)方式為倒計(jì)數(shù)方式。技術(shù)參時(shí)間計(jì)數(shù)方式為倒計(jì)數(shù)方式。技術(shù)參數(shù)為綠數(shù)為綠( (紅紅)50)50秒、黃秒、黃( (紅紅)5)5秒、紅秒、紅( (綠綠)30)30秒和紅秒和紅( (黃黃)5)5秒。秒。方法：有限狀態(tài)機(jī)方法：有限狀態(tài)機(jī)當(dāng)前狀態(tài)當(dāng)前狀態(tài)下一狀態(tài)下一狀態(tài)東西燈東西燈南北燈南北燈S1S1S2S2G GR RS2S2S3S3Y YR RS3S3S4S4R