Modify the process from class for taking the union of two dfas to write grafstate code for a dfa M3 such that L(M3) = L(M1) ⋂ L(M2). What did you change about the process?

A) Introduced a new state for intersection
B) Implemented a new transition function
C) Updated the acceptance criteria
D) Adjusted the initial state