Langages formels, groupoïdes et automates

语言形式、组和自动化

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

Mon projet porte sur les algèbres finies (associatives: groupes, semigroupes et monoïdes; non-associatives: quasigroupes, boucles et groupoïdes), leurs propriétés en ce qui a trait à la reconnaissance de langages, et leurs applications potentielles dans d'autres domaines de l'informatique théorique.

一般项目描述的是有限的数据（关联的：群、半群和monoïdes；非关联的：准群、群和groupoïdes），描述的是固有的<s:2> <s:2>和/或其他的<s:2>和/或其他的<s:2>和/或其他的<s:2>和/或其他的应用程序，描述的是信息的领域。