implemented pda_copy
modified PDA to create copies of any supplied transition NFAs and PDAs