We shall derive non-linear analytic realizations in system theory from infinite transitive Lie algebras and Lie pseudogroups. By using non-commutative generating power series, this new approach allows a local input-output viewpoint which was not possible until now. It should lead, thanks to the notion of syntactic Lie algebra, to many developments.