sheet 7 question 2

Question

Submit the solution in the following form:
labels 0:s1; 1:s2,s3; 2:; 3:s0,s1,s2;     // encode Q
labels 0:; 1:s2,s3; 2:; 3:s2;     // encode Qf
init 0,1;
transitions (0,{a},,1); (0,{},,2); (1,{},,3); (3,{a},,3); (3,{},,3);
accept 2,3;

what does encode in Q and Qf mean?

Answer 1

The breakpoint construction computes a deterministic automaton whose states are pairs (Q,Q_f) of sets of states of the original automaton. I guess that you should list the sets of pairs such that you list the first components in the first line of labels and the second component in the second one.

Comments

thanks for the explanation