  In this paper we translate the necessary and sufficient conditions of
Tanaka's theorem on the finiteness of effective prolongations of a fundamental
graded Lie algebras into computationally effective criteria, involving the rank
of some matrices that can be explicitly constructed. Our results would apply to
geometries, which are defined by assigning a structure algebra on the contact
distribution.
