非決定性有限オートマトン
非決定性有限オートマトン（、）または非決定性有限状態機械（、）は、有限オートマトンの一種であり、ある状態と入力があったとき、次の遷移先が一意に決定しないことがあるものである。NFAと略記される。