Can you summarize the following document?
        
  多數數位電子系統被設計為時序系統。時序系統是受限制形式的摩爾型有限狀態機,它的狀態只在全域性時鐘訊號改變的時候改變。當前狀態典型的儲存在觸發器中,而全域性時鐘訊號連線到觸發器的“時鐘”輸入上。時序系統是解決亞穩定性問題的一種方法。典型的摩爾型有限狀態機包括組合邏輯鏈來把當前狀態解碼為輸出(lambda)。當前狀態一旦改變,這種改變通過這些鏈傳播,幾乎立即導致輸出改變(或不改變)。有確保在這些變化在沿著鏈傳播這段短暫時期在輸出上不出現glitch的技術,但是設計出的大多數系統都忽略在短暫的轉移時間的冒險。輸出接著停留同樣不確定(LED保持點亮,電力保持連線到電機等等),直到Moore機再次改變狀態。  摩爾型有限狀態機的輸出只與有限狀態自動機的當前狀態有關,與輸入訊號的當前值無關。摩爾型有限狀態機在時鐘脈衝的有效邊沿後的有限個門延後,輸出達到穩定值。即使在一個時鐘週期內輸入訊號發生變化,輸出也會在一個完整的時鐘週期內保持穩定值而不變。輸入對輸出的影響要到下一個時鐘週期才能反映出來。摩爾型有限狀態機最重要的特點就是將輸入與輸出訊號隔離開來。

  Moore機形式定義為6-元組{ S, "S", Σ, Λ, "T", "G" },構成如下:  在Moore機中的狀態的數目大於等於在對應的Mealy機中狀態的數目。
在計算理論中,摩爾型有限狀態機(英語:Moore machine)是指輸出只由當前的狀態所確定的有限狀態自動機。摩爾型有限狀態機的狀態圖對每個狀態包含一個輸出訊號,相對於米利型有限狀態機,它對映機器中的“轉移”到輸出。