Fixed error in NFAReduction; added spanning tree method of NFA generation