The definition of is as follows, where  In the preliminary experiment, a weight-pushing operation (Mohri and Riley, 2001) was also effective for deleting negative v transition of our fullexpansion models.
pushing causes an imbalance of weights among paths if the WFST is not deterministic.