Langages formels, algèbres finies et automates.

这些联想词（半群和单词）和非联想词（群、拟群、boucles）允许对语言进行现代化的考察，如果一个词出现在一个预定的集合中，那么它就是一个直接的判断。同时，利用一般代数和森林代数来确定树木和森林的二维层次。阿尔及利亚和语言的不同类别之间可能存在的关系研究是信息理论研究的一个重要领域。 我提出的项目有两个研究方向。首先是对阿尔及利亚非联想语言的考察;其次是对非联想语言中各种不同语言中的特定语言进行描述。第二个研究方向是与阿尔及利亚和森林语言进行类比。我想特别研究一下阿尔及利亚森林语言的特点，产品的背景，以及阿尔及利亚在这一领域的能力的局限性，并将所发现的森林语言与各种形式的语言或各种形式的语言进行比较。

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.