Mějme konečný automat

Stav nazveme dosažitelný, pokud existuje řetězec takový, že existuje posloupnost přechodů, která veze z počátečního stavu do stavu

Stav, který není dosažitelný, nazveme nedosažitelný

Když z automatu odstraníme nedosažitelné stavy, bude stejně pořád přijímat stejný jazyk

Zjistíme je iterací od začátku do konce