Linguaggi formali: esercizio tipo e automa

[mistergks]

Sto svolgendo questo esercizio:

Dato il linguaggio
L={a^n a^m b^n c^m | c^m a+ b^n a^m d*) | m>=0, n>=0}

A)indicare il tipo secondo Chomsky
B)generare una grammatica
C)costruire un automa che lo riconosca

Secondo me è di tipo 3
Perche accorpando diventa:
L={a* b* c* | c* a+ b* a* d*}


Che ne dite?