Construct a Pushdown Automata Transition Diagram with the following language...

{w {a, b}^* | w has twice as many as as bs}