概念導讀bottom-first PDA的aabb接受run指定PDA有讀完aabb到final f的有限run，末stack仍為[Z]。下推自動機derivation-mko-pushdown-automaton-01