Grzegorz Herman, marking scheme for Test 1

General scheme (applicable to all sub-questions):
  ok                         -> 100%
  minor problem              -> 80%
  major problem              -> 40%
  otherwise                  -> 0%

Marking for question 2:
  Using complement/difference/intersection:
    0*1*   is regular              -> 5
    0^n1^n is not                  -> 5
    using c/d/i right              -> 10
  Using the pumping lemma:
    statement of the lemma          -> 5
    correct use of the lemma        -> 5
    choice of word to pump          -> 5
    technicalia                     -> 5
  Using Myhill-Nerode theorem:
    statement of the theorem         -> 5
    correct use of the theorem       -> 5
    choice of word set               -> 5
    technicalia                      -> 5

Marking for question 4:
  Explicit work on automatons:
    showing languages A_k            -> 5
    proving that k states is enough  -> 5
    proving that (k-1) states is not -> 10
  Using Myhill-Nerode theorem/index:
    showing languages A_k            -> 5
    proving that index(A_k)=k        -> 10
    relating it to the DFAs          -> 5