PDA of the language where the number of a's are NOT equal to the number of b's
Your PDA can act as follows. For each $a$ being read, it pushes $A$ into the stack. Then, for every $b$ being read, it attempts to pop $A$ off the stack. If there are no more $A$s, it moves to an accepting state, checking that the rest of the input consists of $b$s; this handles the case in which there are more $b$s than $a$s. Alternatively, it could decide at some point to move, via an $\epsilon$ transition that pops an $A$, to a different accepting state at which no more symbols can be read; this handles the case in which there are more $a$s than $b$s.