決定性有限狀態機

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