Tim Paterson's marking comments for Test 1

Q1:  5 Marks for the correct answer ('Yes'), 15 marks for the
justification.

Common mistakes:  confusing L~ with L_complement, or L_reverse

Q3:  5 Marks for a correct regular expression,
        -1 for minor mistakes (e.g. missing a *),
        -2 for accepting a string that examination of the DFA clearly
indicates that it should reject (empty string, something ending in a)
        15 Marks for the conversion process, -1 or -2 per mistake,
depending
on severity

Q5:  -6 or -7 marks for each missing equivalence class (-7 if you miss
the
class which contains the accepted strings)
        -5 for each additional equivalence class.

        Common mistakes:  Confusing equivalence classes and the set of
accepted strings
                                       Bad choice of z (namely, z=01)
                                       Saying L had infinite equiv.
classes
(it's clearly a regular language)