決定性有限狀態機

決定性有限狀態機係指完全冇隨機性嘅有限狀態機，每一個狀態轉去第個狀態嗰陣都淨係會有一個可能目標。

運算理論