\[
\lefteqn{\underbrace{\phantom{S \rightarrow A}}_{n_0}} S \rightarrow
\lefteqn{\overbrace{\phantom{A \rightarrow A A}}^{n_1}} A \rightarrow A A
\lefteqn{\underbrace{\phantom{A A \rightarrow \epsilon A}_{n_2}}} A A \rightarrow \epsilon
\lefteqn{\overbrace{\phantom{A \rightarrow \epsilon}^{n_3}}} A \rightarrow \epsilon
\]