STATE and with a stack empty, else it is called rejected. Given a PDA M, we can CONSTRUCT a PDA M’ that ACCEPTS the same language as M, by both ACCEPTANCE criteria.