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