A PDA is already in its accept state if:

• and only if it is both in the final state and the stack is empty
• none of the given choices
• it is either in the final state or the stack is empty Correct
• it has no more input to process