Automi Push Down e Turing

[xxxtuxxx]

Ciao a tutti,

Avrei bisogno di capire come disegnare una automa push down e uno turing che riconoscano (accettano) il seguente linguaggio.
:

L= (nell'alfabeto (0,1)* t.c. Il numero di 1 sia doppio ripetto al numero degli 0).

Sebbene immagino sia impossibile disegnarlo sul web , mi sapreste dire i passi fondamentali per poter ottenere due automi con tali caratteristiche?

Vi ringrazio in anticipo...

[Rggb1]

Mi sembra abbastanza semplice: puoi creare un PDA che inserisce nel suo stack due simboli per '0' e ne rimuove uno per '1', se alla fine lo stack è vuoto la stringa è accettata.