इसका टेक्स्ट मैसेज भेजे: Unboundedness and downward closures of higher-order pushdown automata