Name for a state of an automaton that can't be left In an automaton, we might have a state that once reached cannot be left. It is for example for Ø in ![Automaton from Wikipedia]( Is there a common/official name for such a state ?

Such a state is usually called a _sink state_ or sometimes a _dead state_ or a _zero state_. "Sink state" seems to be the most largely accepted terminology in the literature.