For each of the states in your minimal DFA, write a correctn…
For each of the states in your minimal DFA, write a correctness property of the form (if A is the initial state) q = delta*(A,w) iff w … You do not need to argue for your answers, in particular you are not asked to prove anything.