“…All dummy states and transitions are replaced by using Proposition 1. For output matching, 1 , 2 , 3 , 4 , 5 , 6 , 7 , 9 , 10 , 16 , and 18 are discarded because they contain 62, 12,13,8,6,6,38,4,16,46, and 78 instances of 1's, respectively, out of a total of 250 transitions.…”