As in Carrasco and Forcada (2002), we define δ : Q × Σ → Q as a total mapping.
if the automaton is not complete, that is, if ∃q ∈ Q ∧ ∃a ∈ Σ : δ(q, a) ∈ Q, then an absorption state ⊥ ∈ F such that ∀a ∈ Σ : δ(⊥, a) = ⊥ must be added to Q.