1: \begin{definition}

2: Let $f \in \lonerat$. A \emph{singular value automaton} (SVA) for $f$ is a

3: minimal WFA $A$ realizing $f$ such that the FB rank factorization of $\H_f$

4: induced by $A$ has the form given in Theorem~\ref{thm:sva}.

5: \end{definition}

6: