0 votes 0 votes I have gone through this link already but still couldn't catch up the logic , so please clarify what is it trying to convey ? http://cs.stackexchange.com/questions/44195/pda-transformation-between-acceptance-by-empty-stack-and-final-states?rq=1 Theory of Computation theory-of-computation + – radha gogia asked Dec 14, 2015 radha gogia 521 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply Arjun commented Dec 14, 2015 reply Follow Share we have to ensure stack is not empty at beginning 0 votes 0 votes radha gogia commented Dec 14, 2015 reply Follow Share But that would be ensured by the automaton(which accepts by final state)which will have some initial symbol on the stack before starting any input transitions . 0 votes 0 votes Arjun commented Dec 14, 2015 reply Follow Share The new state is used to add this extra symbol on stack. http://www.cs.ucr.edu/~jiang/cs150/slides4week7_PDA+EquivToCFG.pdf 1 votes 1 votes Please log in or register to add a comment.