Rester groupir

Qu’est-ce que $H^*$ ? Ce n’est pas défini.

C’est l’ensemble des mots finis, que l’on peut former à partir des mots dans $H$, il me semblait que c’était une notation classique.

https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Kleene

J’ai donné la définition, normalement c’est bon.

Salut ! Comme l’idée du site est de permettre l’exploration de domaines des maths dont on ne connaît rien ou peu de choses au départ, il serait bien de rendre ce problème un peu plus accessible pour quelqu’un qui ne serait pas familier d’informatique :) Par exemple, qu’est-ce qu’un « mot » dans ce contexte ? Il faudrait créer des concepts dans l’encyclopédie qui seraient reliés à ce problème, pour que chaque terme nécessaire à la compréhension du sujet puisse être expliqué aux novices du domaine... et de façon plus pédagogue et graduelle que sur Wikipédia si possible ^^

Salut. Un mot est une concaténation finie, de lettres.

Bonjour,

@Sequoia : tu as relu, je pense cela veut dire que tu en as une solution je tiens à préciser ici, que la voie qui consiste à raisonner sur les préfixes ou suffixes, ne marche pas, en effet aprés simplification la partie restante, peut venir du milieu du mot.

Si je l’avais mis à 70, c’est parce que littéralement le problème est indécidable, sauf raisonnement astucieux. Voir le problème de correspondance avec l’identité : https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_correspondance_de_Post