Sentence 1: Because DFAs can be reduced to `` canonical form '' ( efficient DFAs ) , there are also minimal algorithms to determine :
Sentence 2: Because DFAs can be reduced to a `` canonical form '' ( efficient DFAs ) , there are also minimal algorithms to determine :
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?