Working on prefix analysis of DFAs