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

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

У статті побудовано формальну теорію на основі бінарного оператора спрямованого асоціативного зв'язку та введено поняття асоціативної нормальної форми образних конструкцій. Розглянуто модель комутативної напівгрупи, яка забезпечує представлення речення у вигляді 3-х складових питальної конструк...