Bonjour, à 4:44 a⁻¹ est il le quotient gauche de l'ensemble {ab,ba} ou le quotient droit (ou les deux)? Ici vous dites que ba est "supprimé" alors que le mot commence par le symbole b ?
Un quotient gauche est la forme u^-1 L avec u un mot et L un langage. Donc a^-1 n'est pas un quotient, ni gauche ni droit. Sinon a^{-1}L est l'ensemble des mots de L où l'on enlève a au debut (pour ça il faut prendre uniquement les mot commençant par a). Par exemple a^{-1}(bb*(ab)*) sera vide car il n'y a aucun mot commençant par a dans bb*(ab)*.
Bonjour, à 4:46 le quotient (a^-1) est à gauche donc pourquoi est-ce que cela affecterais le mot "ba" du langage L ?
Voir réponse du commentaire précédent. On ne peut pas supprimer de a au début de ba.
Bonjour, à 4:44 a⁻¹ est il le quotient gauche de l'ensemble {ab,ba} ou le quotient droit (ou les deux)?
Ici vous dites que ba est "supprimé" alors que le mot commence par le symbole b ?
Je me pose la même question
Un quotient gauche est la forme u^-1 L avec u un mot et L un langage. Donc a^-1 n'est pas un quotient, ni gauche ni droit. Sinon a^{-1}L est l'ensemble des mots de L où l'on enlève a au debut (pour ça il faut prendre uniquement les mot commençant par a). Par exemple a^{-1}(bb*(ab)*) sera vide car il n'y a aucun mot commençant par a dans bb*(ab)*.
3:25 pourquoi le motifs simple ab n'est pas converti en epsilon ???
Merci. C'est un erreur de ma part. L'erreur est déjà indiquée en erratum. Il manque bien le mot vide.
@@informatiquetheorique9146 en tout cas très bon travail ! Votre vidéo vous honore.