Forum de Mathématiques: Maths-Forum

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 p...