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 :