Langages formels, algèbres finies et automates.

形式语言、数学语言和自动化语言。

• 批准号: 89786-2013
• 负责人: Beaudry, Martin
• 金额: $ 1.46万
• 依托单位: Université de Sherbrooke
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=521848
• 关键词: Langages; formels; alg; bres; finies

Les algèbres associatives (semigroupes et monoïdes) et non-associatives (groupoïdes, quasigroupes, boucles) permettent de modéliser la reconnaissance de langages de mots, c'est-à-dire de décider si un mot reçu en donnée appartient à un ensemble prédéterminé. De même, on utilise les algèbres généralisées et les algèbres de forêts pour les données bidimensionnelles hiérarchiques que sont les arbres et les forêts. L'étude des relations qui peuvent exister entre différentes classes (variétés) d'algèbres et de langages est un important domaine de recherche en informatique théorique.

这些联想词（半群和单词）和非联想词（群、拟群、boucles）允许对语言进行现代化的考察，如果一个词出现在一个预定的集合中，那么它就是一个直接的判断。同时，利用一般代数和森林代数来确定树木和森林的二维层次。阿尔及利亚和语言的不同类别之间可能存在的关系研究是信息理论研究的一个重要领域。