First, the condition for making a transition in a given network can be that the symbols starting at the current state in the string are acceptable to some other network named in the transition.
in everyday terms, unification can be thought of like this.