Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках