Fu, Yuxi.

Title: Final Remark on the Decidability of PDA

Abstract: We will summarize the decidability results achieved over the last couple of years, focusing on (i) a simplified proof of Senizergues' well-known proof, and (ii) its extensions for new results.