Στη θεωρία υπολογισμού, το μη ντετερμινιστικό πεπερασμένο αυτόματο είναι ένα πεπερασμένο αυτόματο που από μία κατάσταση, διαβάζοντας ένα σύμβολο εισόδου, μπορεί να μεταβεί σε μία ή και παραπάνω καταστάσεις, σε αντίθεση με το ντετερμινιστικό πεπερασμένο αυτόματο που μπορεί να μεταβεί σε μία μόνο κατάσταση. Wikipedia