Dokumen ini membahas tentang automata tumpukan (pushdown automata) dan cara kerjanya dalam memproses string masukan dengan menggunakan simbol dan transisi yang ditentukan. Contoh penggunaan dan eksekusi ditunjukkan untuk menjelaskan bagaimana automata memproses string untuk diterima atau ditolak. Juga dijelaskan formalitas dan fungsi transisi dalam automata tumpukan.