déterministe et automates finis non déterministes sont deux types de "machines" conceptuels conçus pour vérifier si une chaîne donnée de symboles obéit à certaines règles - si elle est acceptable comme un message dans une langue ou un code . Les automates lit un symbole unique à la fois, et il existe toujours un particulier " l'Etat". Chaque état d'un automate peut être en a un ensemble de règles pour réagir au symbole suivant doit être lu - il peut passer à un autre état ​​particulier, ou rester la même . Si, après une chaîne entière a été lu, l'automate a conclu partie d'un ensemble d' états finaux acceptables " , " la chaîne est grammaticalement acceptable dans la langue des automates teste pour . Instructions
1

examiner les règles de l' automates . Il s'agit notamment de : . Tous les états possibles du automates, son ensemble d'états finaux et les effets de chaque symbole possible sur chaque état ​​
2

vérifier pour voir si l'un des Etats du automates ont de multiples réactions possibles à un symbole particulier . Si tout faire, l' automate est non - déterministe - un NDFA . Par exemple , si l'état initial d'un automate peut réagir sur le symbole "A" , soit en se déplaçant vers un deuxième état ou en restant le même, c'est un NDFA . Un NDFA renvoie un résultat positif s'il ya un moyen d'atteindre un état final en utilisant une chaîne donnée.
3

Gardez à l'esprit qu'un DFA existe pour chaque NDFA . Parce qu'un NDFA retourner un résultat positif pour une chaîne spécifique doit avoir au moins une voie du succès à travers elle pour cette chaîne , il doit nécessairement être le DFAE correspondant qui va accepter cette chaîne , ne contenant que les règles relatives à la voie unique qui a été utilisé . Voici un exemple très simple: Supposons que vous ayez un NDFA avec un état final appelé S1, dont initial S0 de l'Etat répond au symbole "A" soit en changeant de S1 ou en restant dans S0 . Cette machine accepte une chaîne constituée simplement de «A», parce qu'il ya un chemin possible pour S1 , et il est un DFA correspondant dans lequel "A" change toujours S1 à S0, de distribution avec le chemin utilisé
.