Constructing Smaller DFAs using Partial Languages