мой вариант:

1) Для резулярного выражения над алфавитом T = {a,b}:
                    a(ba|b)*|b
построить эквивалентный детерминированный конечный автомат.

2) Является ли LR(1)-грамматикой грамматика
 G = {{S,A,B},{a,c,d},{S->ABA,Aa|e,B->cBc|d},S}?
Построить канонический анализатр и продемонстрировать
разбор на цепочке aaccdcc.

3) Для оператора присваивания a = b[i] + c[i] сгенерировать
оптимальный код метедом сопоставления образцов.

Я не в курсе, можно ли будет образцами пользоваться, но
скорее всего - можно. Поэтому их желательно подготовить.