結果 : examples of pushdown automata