Формализация элементов экономных многоступенчатых цепей

Abstract

Стаття присвячена застосуванню алгебри предикатів і предикатних операцій для формалізації різних структур природної мови у вигляді багатоступеневих ланцюгів. В роботі введено ряд алгебраїчних конструкцій та визначень, що дозволяють більш повно й глибоко описувати декотрі мовні структури. Запропоновано методи формалізації елементів економних багатоступеневих ланцюгів.

The formalization of various structures of a natural language by means of predicates algebra and predicate operations are considered. Structures were presented in form of as multistage chains. A number of algebraic concepts and the definitions were proposed. It allows describe some language structures more fully. Methods of economical multistage chains elements formalization are offered.