О синтезе и сложности формул с ограниченной глубиной альтернированиястатья