'''Originally Posted By: JustinHJustinHolst@gmail.com''' Is it ok for a DPDA to have more than one transition for the same read character, as long as both transitions are marked with different stack poppping values? So, would it be OK to have the following transitions coming out of the same state since they have different stack values? (q1,a,Z)->(q2,SZ)