決定性有限オートマトン
DFA: Deterministic Finite Automatonとも。
決定性制約を満たすオートマトン？
参考
『アンダースタンディングコンピュテーション』