Аннотация.
Предложены методы уточняющих преобразований: специализации, интерпретации, конкретизации и реализации обобщенной конструктивно-продукционной структуры. Показано применение методов для построения грамматических конструктивно-продукционных структур — аналогов известных грамматик, их модификаций и грамматико-подобных систем. На их основе проанализированы и обобщены различные типы формальных грамматик.
Ключевые слова: конструктивизм, формальные грамматики, конструктивно-продукционная структура, специализация, интерпретация, конкретизация.
Шинкаренко Виктор Иванович,
доктор техн. наук, профессор Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна,
e-mail: Shink@diit.edu.ua; Shinkarenko_vi@ua.fm.
Ильман Валерий Михайлович,
кандидат физ.-мат. наук, доцент Днепропетровского национального университета железнодорожного транспорта имени академика В. Лазаряна.