Q:

Alguém poderia me ajudar com essa linguagem formal? 

Alguém poderia me ajudar com a seguinte linguagem:
{a^n b^m | n<= m <= 2n}

Desculpe a ignorância, mas não estou conseguindo formar um autômato de pilha com essa linguagem.  Estou tentando através de um autômato determinístico de pilha mas não sai nada.  

A:

{a^n b^m | n<= m <= 2n} quer dizer: 

Aceita-se expressão com N elementos e A e M elementos de B, sendo M entre N e 2N. 

Na prática, o autômato aceita:
AB
ABB
AABB
AABBB
AABBBB
...

Ou seja, a quantidade de B precisa ser igual à quantidade de A, ou maior que a quantidade de A, desde que não seja maior que o dobro de A. 

EDIT
Achei esse site bacana pra te ajudar.