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