轉移表（a transition table）

轉移表是有限自動機的試算表版本——和狀態圖完全相同的資訊，寫成一張格網。每個狀態一列、每個字母表符號一欄；列 q 與欄 a 相交的那一格放著下一狀態 δ(q, a)。它就是把圖中的箭頭排成一張整齊的查找表。

依慣例，起始狀態會被標記（常用一支小箭頭 ->），每個接受狀態也會被標記（純文字中常用星號或加註說明）。要執行一個字串，你從標記的起始列開始，對每個符號跳到對應格中所寫的列名，反覆直到輸入讀完；接著檢查最終的列是否為接受狀態。因為 DFA 的 δ 是全函數且確定型，表中每一格都被填滿、且恰好放一個狀態——沒有空白，也沒有清單。

表格在圖變得擁擠之處大放異彩：一部有二十個狀態、字母表有五個符號的機器，畫成一團箭頭根本無法閱讀，列成 20 乘 5 的格網卻清楚無比。表格也是在程式中編碼 DFA 的自然形式——你就字面地把格網存成二維陣列，再查 next = table[state][symbol]。