Thus, from this point onwards up until the start of Section 7.4, all DAG automata and extended DAG automata are assumed to be unweighted.
the m-automata A = (Ξ, Q, τ, s, ρ) appearing in this section are also unweighted.