I want to know if there is a $\sigma$-algebra such that for every countable ordinal $\alpha$ the $\sigma$-algebra can be generated in more than $\alpha$ steps but less than $\omega_{1}$ steps.

Given an algebra of sets $(X,\mathcal{A})$, let $\mathcal{A}_{0}=\mathcal{A}$, and for all ordinals $0<\alpha\leq\omega_{1}$, let $\mathcal{A}_{\alpha}$ be the algebra of sets generated by countable unions from the collection $\bigcup_{\beta<\alpha}\mathcal{A}_{\beta}$. Clearly $\mathcal{A}_{\omega_{1}}$ is the $\sigma$-algebra generated by $\mathcal{A}$.

For each countable ordinal $\alpha$ does there exist an algebra of sets $(X,\mathcal{A})$ such that $\mathcal{A}_{\alpha}\neq\mathcal{A}_{\omega_{1}}$, but where $\mathcal{A}_{\beta}=\mathcal{A}_{\omega_{1}}$ for some countable ordinal $\beta$?

Does there exist a $\sigma$-algebra $(X,\mathcal{M})$ such that

If $(X,\mathcal{A})$ is an algebra of sets that generates $\mathcal{M}$, then $\mathcal{A}_{\alpha}=\mathcal{M}$ for some countable ordinal $\alpha$, and

for each countable ordinal $\alpha$ there is an algebra of sets $(X,\mathcal{A})$ that generates $\mathcal{M}$ but where $\mathcal{A}_{\alpha}\neq\mathcal{M}$?