類別:書架：自動機理論

自動機理論

此書架上的書籍涉及自動機理論：研究抽象機器及其能夠解決的問題。自動機是有限狀態機 (FSM) 的數學模型。FSM 是一種機器，它在給定符號輸入時，根據轉移函式，在狀態之間“跳轉”或“轉換”。在常見的 FSM 中，此轉移函式告訴自動機在給定當前狀態和當前符號的情況下，下一個狀態是什麼。但是，需要注意的是，一般來說，自動機不必具有有限數量的狀態，甚至不必具有可數數量的狀態。自動機不必嚴格地接受或拒絕輸入；它可以以介於 0 到 1 之間的某個機率接受輸入。自動機在編譯器設計和解析中起著重要作用。