確定性（determinism）

確定性是這樣一個性質：在每一步，機器恰好只有一件事可以做——沒有選擇、不擲硬幣、不分岔。閱讀一部確定型機器就像照著一份沒有「二擇一」步驟的食譜：從你所在之處，下一步是被迫的。把同一部機器在同一個輸入上跑一千遍，你每次描出的都是同一條路徑。

具體而言，對 DFA 來說，確定性意味轉移函數 δ 對每個（狀態, 符號）對都回傳單一的下一狀態：δ(q, a) 是一個狀態，絕不是一組選項，也不會無定義。兩個條件合起來刻畫它：恰好有一個起始狀態，且從每個狀態出發、每個符號都恰好通往一個後繼狀態。這就是 DFA 中那個「D」的全部含義。

值得誠實說明確定性給了你什麼、又沒給你什麼。它讓 DFA 變得極易模擬——你只要跟著那唯一的路徑走——也讓推理變得乾脆。但確定性並不限制有限自動機能辨識哪些語言：確定型與非確定型有限自動機辨識的正是同一類語言（正規語言）。非確定性——機器可能有數個合法動作的那個相反性質——在有限自動機這個層級上，是描述上的便利，而非額外的計算能力。