Формальна теорія та модель комутативної напівгрупи образних конструкцій

• Опубліковано в: : Математичні машини і системи
• Дата: 2011
• Автори: Бісікало, О.В., Тадевосян, Р.Г.
• Формат: Стаття
• Мова: Українська
• Опубліковано: Інститут проблем математичних машин і систем НАН України 2011
• Теми: Обчислювальні системи
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/83623
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Формальна теорія та модель комутативної напівгрупи образних конструкцій / О.В. Бісікало, Р.Г. Тадевосян // Мат. машини і системи. — 2011. — № 4. — С. 39-47. — Бібліогр.: 7 назв. — укр.

У статті побудовано формальну теорію на основі бінарного оператора спрямованого асоціативного зв'язку та введено поняття асоціативної нормальної форми образних конструкцій. Розглянуто модель комутативної напівгрупи, яка забезпечує представлення речення у вигляді 3-х складових питальної конструкції мовних образів. В статье построена формальная теория на основе бинарного оператора направленной ассоциативной связи и введено понятие ассоциативной нормальной формы образных конструкций. Рассмотрена модель коммутативной полугруппы, представляющая предложение в виде 3-х составляющих вопросительной конструкции языковых образов. The article is built a formal theory based on the binary operator of directional associative connection and a concept of associative normal form of image constructs is introduced. The model of a commutative semigroup representing the sentence as a three-component query construction of verbal images is regarded.