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

Abstract

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

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

The methods of specifying transformations such as specialization, interpretation, specification, and implementation of a generalized constructive-production structure are proposed. It is shown how to use these methods to construct grammatical constructive-production structures, which are analogs of well-known grammars, their modifications, and grammar-like systems. Various types of formal grammars are analyzed and synthesized.