確定有限自動機DFA由有限狀態集、有限字母表、總轉移函數、唯一初始狀態與接受狀態子集組成。atlas-finite-automaton · canonical_mko確定有限自動機前置節點抽象計算模型離散時間動力系統函數映射集合數列