Design turing machine and pushdown automata for the following:

DOUBLE FACTORIAL = { a^n!b^n! where n>0 }

DOUBLE PRIME = { a^p b^p where p is any prime }