Il primo avviene quando si giunge in uno stato che non rientra fra gli stati finali e ha Γ={Φ}, ovvero in cui non ci sono uscite.
il prˈimo avviˈɛne kwˈando sɪ dʒˈundʒe in ˈuno stˈato ke non riˈentra fra ʎɪ stˈatɪ finˈalɪ e a ɡˈamma ʊɡwˈale fˈɪ ɡrˈeka, ovvˈero in kˈuj non tʃɪ sˌono ʊʃˈite.