How to determine a curve singularity

We characterize the finite codimension sub-K-algebras of K[[t]] as the solutions of a computable finite family of higher differential operators. For this end, we establish a duality between such a sub-algebras and the finite codimension K-vector spaces of K[u], this ring acts on K[[t]] by differentiation.