5 We will define these "active" features of a string x by constructing some unweighted deterministic FSA, G (described in §4).
the active features of x are determined by the collection of arcs on the accepting path of x in G. to satisfy the agreement constraint, x i and x j must be accepted using the same arcs of G (or more generally, arcs that have the same features).