決定性制約

1. 矛盾がない

ある状態である入力が与えられたときに競合する規則がない

2. 省略がない

規則が欠けておらず、状態間を移動できないことがない

今の状態と入力に対してただ1つの状態遷移しかありえないオートマトンのこと