Langages formels, algèbres finies et automates.

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

• 批准号: 89786-2013
• 负责人: Beaudry, Martin
• 金额: $ 1.46万
• 依托单位: Université de Sherbrooke
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=569002
• 关键词: 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. Le projet que je propose est axé sur deux directions de recherche. La première consiste à étudier la reconnaissance de langages de mots par des algèbres non-associatives ; cela permet d'établir des descriptions, en termes non-associatifs, de variétés de langages de mots qui avaient été définies en des termes très différents. La seconde direction de recherche consiste à faire un travail analogue avec les algèbres et langages de forêts. Je veux en particulier étudier une manière de construire des algèbres de forêts, le produit contexte, et les limites sur la puissance des algèbres qui peuvent être obtenus de la sorte, en comparant les langages de forêts qu'elles reconnaissent avec des variétés de langages déjà définies en termes de logique formelle ou de variétés de monoïdes.

Les algèbres联想体(半组和单组)和非联想体(Groupoaides、Quasigroupe、花束)穿透Modéliser la侦察机de langages de mots，c‘est-à-dire de décider si un mot reçu en donnée apparentàun montheble Prédéterminé。De méme，on Utiise les algèbres généralisées et les algèbres de forêts our les données biDimsionnelle hiérarchiques que sont les arbres et les for ilts.L的《关系与存在》课程(S)和《当代语言》是一个非常重要的研究领域。 我提出了两个方向的建议。La Preière由非联想的语言侦察、非联想的描述语言和非联想的非联想语言以及S等不同的语言组成。从第二个方向看，它代表着一种不同的工作方式。我不是所有人都知道这一点，但我并不认为这是一件好事，因为这是一件很重要的事情，因为这是一件很重要的事情。