編譯原理 —— 有窮自動機（FA）

有窮自動機的定義 系統只需要根據當前所處的狀態和當前面臨的輸入信息就可以決定系統的後繼行爲。當前狀態+當前輸入=後繼行爲 FA模型 FA轉換圖 結點：FA的狀態 初始狀態（開始狀態）：只有一個，由start箭頭指向 終止狀態（接收狀態）：可以有多個，用雙圈表示 帶標記的有向邊：如果對於輸入a，存在一個從狀態p到狀態q的轉換，就在p、q之間畫一條有向邊，並標記上a。（如圖中0到1） FA定義的語言

>>阅读原文<<