Bonjour,
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
-----