“…Let Ψ(w) = [Ψ y s (1w) · · · Ψ y s (n µ w)], ∀w ∈ Σ * . Then, R = ({Â σ , } σ∈Σ ,Ĝ,Ĉ), withĜ = Ĝ 1 · · ·Ĝ nµ , is a representation of Ψ and by (Petreczky et al, 2017, Theorem 1, Theorem 2) and the definition of observability and reachability for representations in (Petreczky and Vidal, 2018, Appendix C), it follows that R is observable and reachable, and hence R is minimal by Berstel and Reutenauer (1984); Sontag (1979).…”