Конструктивно-продукционные структуры и грамматические интерпретации II. Уточняющие преобразования

RUS: Предложены методы уточняющих преобразований – специализации, интерпретации, конкретизации и реализации обобщенной конструктивно-продукционной структуры. Показано применение методов для построения грамматических конструктивно-продукционных структур – аналогов известных грамматик, их модификаций и грамматико-подобных систем. На их основе выполнен анализ и обобщение различных типов формальных грамматик.

UKR: Запропоновано методи уточнюючих перетворень - спеціалізації, інтерпретації, конкретизації та реалізації узагальненої конструктивно-продукційної структури. Показано застосування методів для побудови граматичних конструктивно-продукційних структур – аналогів відомих граматик, їх модифікацій і граматико-подібних систем. На їх основі виконано аналіз та узагальнення різних типів формальних граматик.

ENG: Methods for specifying transformations - specialization, interpretation, specification and implementation of a generalized constructive-synthesizing structure are proposed. Using of methods to construct grammatical constructive-synthesizing structures – analogues of known grammars, their modifications and grammar-like systems are demonstrated. Analysis and synthesis of various types of formal grammars are performed.