Je suis étudiant en L3 informatique et je n'arrive pas à démontrer que ce langage n'est pas algébrique :
L = {a^n b^m c^p | n, m >= 1, p>= 0, p = n mod m}
(où n mod m désigne le reste de la division euclidienne de n par m)
Nous avons appris à utiliser le lemme de l'étoile mais je n'arrive pas à l'appliquer sur ce cas de figure, svp
Langage formel langage reconnaissance
× Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
× Attention, ce sujet est très ancien. Le déterrer n'est pas forcément approprié. Nous te conseillons de créer un nouveau sujet pour poser ta question.
