Concaténée de langages locaux
Discutez d'informatique ici !
-
Sharpen
- Membre Naturel
- Messages: 55
- Enregistré le: 08 Nov 2012, 16:13
-
par Sharpen » 01 Mar 2015, 18:25
Salut tout le monde,
Il y a un peu quelque chose que je comprend pas au niveau de la concaténation de langage locaux. Dans un exemple, on montre que l'ensemble des langages locaux n'est pas stable par concaténation en introduisant le langage

qui lui est local. Le contre exemple vient du fait que le mot

n'est pas dans

, mais je ne comprend pas pourquoi ce mot n'appartient pas à la concaténée, puisque

est bien facteur de longueur 2 de

et que

peut se diviser en

puis

par exemple.
Merci à vous

.
-
Rockleader
- Habitué(e)
- Messages: 2126
- Enregistré le: 11 Oct 2011, 18:42
-
par Rockleader » 01 Mar 2015, 18:31
Je ne sais pas si ça répond à ta question.
Mais L.L dans ton exemple ça semble être abab si L=ab
Pour avoir ababab il te faudrait L.L.L
Sous réserve que je n'ai aucune idée de ce qu'est un langage local^^
Cette histoire est entièrement vraie puisque je l'ai inventé du début à la fin !
-
Sharpen
- Membre Naturel
- Messages: 55
- Enregistré le: 08 Nov 2012, 16:13
-
par Sharpen » 01 Mar 2015, 18:38
D'accord, je crois que je viens de comprendre, merci.
En revanche, si on aurait eu

, la concaténation aurait été locale du coup ? Je veux dire, dans ce cas,

aurait été dans

?
-
Sharpen
- Membre Naturel
- Messages: 55
- Enregistré le: 08 Nov 2012, 16:13
-
par Sharpen » 01 Mar 2015, 19:53
En fait, je viens de comprendre, j'ai confondu avec la notion de langage étoilé. Merci :) .
-
Rockleader
- Habitué(e)
- Messages: 2126
- Enregistré le: 11 Oct 2011, 18:42
-
par Rockleader » 01 Mar 2015, 20:01
Effectivement si tu L={ab}
Alors L* = {lambda, L=ab,L.L=abab,L.L.L=ababab, etc etc}
Donc si je me trompe toujours pas =)
L* ce sera toujours la concaténation du langage L autant de fois que tu veux en incluant aussi Lambda.
Cette histoire est entièrement vraie puisque je l'ai inventé du début à la fin !
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 3 invités