Abstract. Various modifications of formal grammars are summarized. The constructive-synthesizing structure framework is proposed. Its tools make it possible to formalize the processes and results of construction formation using the basis of elements with attributes. The possibilities of specialization, specification of constructive-synthesizing structures, and interpretation based on algorithmic structures that simulate an executor are considered. Refs: 21 titles.

Keywords: constructivism, formal grammar, constructive-synthesizing structure, construction, attribute, algorithm.