sentence1: Because DFAs can be reduced to a " canonical form " ( minimal DFAs ) , there are also efficient algorithms to determine :
sentence2: Because DFAs can be reduced to " canonical form " ( minimal DFAs ) , there are also efficient algorithms to determine :