1 задача
Приведено дерево со значениями firstpos, lastpos, nullable: +0,5 балла
Указаны значения функции followpos: +1 балл
Построен автомат: +1 балл (+0.5 балла, если построен по неправильной функции followpos)


2 задача
Построен НКА для \bar L: +0.5 балла
Переход НКА \to ДКА: +1 балл
Построение автомата для L (по ДКА для \bar L): +0.5 балла


3 задача
Разбиение множества вершин на эквивалентные: +1 балл
Построение автомата: +1 балл


4 задача
Приведено отрицание леммы о накачке с выбором конкретной цепочки для каждого n: +1 балл
Приведено значение i и доказано, что (x y^i z) языку не принадлежит: +2 балла


5 задача:
Через лемму о накачке:
Приведено отрицание леммы о накачке с выбором конкретной цепочки для каждого n: +1 балл
Разбор случая нечетной длины y: +1 балл
Разбор случая четной длины y: +1 балл
В случае полного решения: 4 балла
Через классы М-Н:
Приведено бесконечное количество попарно неэквивалентных слов: +1 балл
Доказана их неэквивалентность: +3 балла


6 задача
Решение через классы М-Н:
Указаны классы М-Н без обоснований +1 балл
Доказано, что любое слово над алфавитом лежит в одном из классов +1 балл
Доказано, что все слова из каждого класса эквивалентны +1 балл
Доказано, что два слова из  любых различных классов не эквивалентны +1 балл

Решение через представление в виде объединения заведомо регулярных языков (*):
Язык представлен в виде объединения регулярных языков без доказательства равенства: +2 балла
Доказано, что любое слово языка L содержится в одном  из регулярных языков (*) (включение в одну сторону): +1 балл
Доказано, что каждый регулярный язык (*) содержится в L: +1 балл

Решение через НКА:
Приведен автомат: +2 балла
Доказана корректность автомата (в две стороны): +2 балла

9 задача
Построен автомат с суффиксными ссылками: +1 балл
Закольцованы финальные состояния: +1 балл
Минимизирован автомат: +1 балл (+0.5 балла, если минимизирован не тот автомат)