非決定性有限オートマトン
非決定性有限オートマトン(ひけっていせいゆうげん-、英: Nondeterministic Finite Automaton)または非決定性有限状態機械(ひけっていせいゆうげんじょうたいきかい、英: Nondeterministic Finite State Machine)は、有限オートマトンの一種であり、ある状態と入力があったとき、次の遷移先が一意に決定しないことがあるものである。NFAと略記される。