Hogyan oldjam meg a feladatot formális nyelvekre?

első: Legyen L={(ab^2)^n | n eleme N+}. Adjon meg egy L-t generáló 3-típusú grammatikát, és rajzolja

fel egy L-t felismerő véges determinisztikus automata átmenetdiagramját!

Második: Legyen G:={(a,b)}, {S}, S, {S->aa, S->bb, S->aSa S->bSb}).

- Hányadik típusú a G nyelvtan?

- Határozza meg a G által generált nyelvet!

- Adja meg közvetlen levezetési lépések sorozatával az S ->abaaba levezetést, és

rajzolja fel a megfelelő levezetési fát!

- Ábrázolja egy L(G) nyelvet felismerő veremautomata átmenetdiagramját!

Minden segítséget elfogadok, bármennyire pici észrevétel is. Köszönöm! :)