Văn bản này: Unboundedness and downward closures of higher-order pushdown automata