gli automi discussi nel paragrafo precedente hanno una propietà importante per ogni stato s e ogni carattere di ingresso x,c è al più una transizione dello stato s la cui etichetta contiene x.
αυτόματα συζητήθηκαν στην προηγούμενη ενότητα έχουν ως ιδιοκτησία σημαντικό για κάθε κράτος, εάν κάθε χαρακτήρας στην είσοδο x, υπάρχει το πολύ μια μεταβατική κατάσταση s των οποίων η ετικέτα περιλαμβάνει το x.
τα αυτόματα συζητήθηκαν στην προηγούμενη παράγραφο είναι σημαντικές ιδιότητες για κάθε κατάσταση s και κάθε χαρακτήρα της εισόδου x, c είναι στην καλύτερη περίπτωση μια s μετάβαση των οποίων η ετικέτα περιέχει x.