決定性制約

1. 矛盾がない

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

2. 省略がない

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