Властивості формальних структур та їх підструктур

Abstract

UK: Для проектування систем пропонується застосовувати формальну структуру, як трикомпонентний об’єкт з множиною елементів, сигнатурою і аксіоматикою. Наведені деякі властивості структур і їх підструктур. Розглянуто проблему відтворення формально граматичних структур за мовними підструктурами.

RU: Для проектирования систем предлагается использовать трехкомпонентную формальную структуру со множеством элементов, сигнатурой и аксиоматикой. Приведены некоторые свойства структур и их подструктур. Рассмотрена проблема восстановления формально грамматических структур по языковым подструктурам.

EN: For designing of systems, it has been prposed to use a three-component formal structure with a set of elements, a signature and axiomatics. Some properties of the structures and their substructures have been presented. The problem of recovering the formally grammatical structures with the help of language substructures has been considered.