Теория языков программирования и методы трансляции

1)К какому типу по Хомскому относится данная грамматика (указать максимально возможный номер)? Какой язык она порождает? Каков тип языка?
a) S->APA
P->+|-
A->a|b
b)S->1B
B->B0|1
c)S->a|Ba
B->Bb|b
2)Построить контекстно-свободную грамматику для выражения for в языке Си