Consider the pushdown automaton $\text{(PDA)}\;P$ below, which runs on the input alphabet $\{a, b\}$, has stack alphabet $\{\perp, A\}$, and has three states $\{s, p, q\}$, with $s$ being the start state. A transition from state $u$ to state $v$, labelled $c / X / \gamma$, where $c$ is an input symbol or $\epsilon, X$ is a stack symbol, and $\gamma$ is a string of stack symbols, represents the fact that in state $u$, the $\text{(PDA)}$ can read $c$ from the input, with $X$ on the top of its stack, pop $X$ from the stack, push in the string $\gamma$ on the stack, and go to state $v$. In the initial configuration, the stack has only the symbol $\perp$ in it. The $\text{(PDA)}$ accepts by empty stack.
Which one of the following options correctly describes the language accepted by $P ?$
- $\left\{a^{m} b^{n} \mid 1 \leq m\right.$ and $\left.n \lt m\right\}$
- $\left\{a^{m} b^{n} \mid 0 \leq n \leq m\right\}$
- $\left\{a^{m} b^{n} \mid 0 \leq m\right.$ and $\left.0 \leq n\right\}$
- $\left\{a^{m} \mid 0 \leq m\right\} \cup\left\{b^{n} \mid 0 \leq n\right\}$