Решить 4 небольших задания

1. Построить КСП, которая генерирует только правильные утверждения относительно результата операции сложения двух натуральных чисел (без учета нуля) в унарной системе счисления
2. Построить ФГ, порождающую заданный язык, определить его тип:
L(G) = {xn yn zn | n=1,2,3,…}

3. Привести заданную грамматику к нормальной форме Хомского
G: P={A?1, A?1B, A?(A), B?0, B?0B
4. Написать приведенную грамматику, эквивалентную заданной
S?aAB | E , A ? dDA | е, B ?bE | f , C?cAB | dSD | a , D ? eA , E ? fA | g .