Langages formels Corrigé ? Laboratoire 2 Exercice 1 a) (b*a* + a)*b

Le langage accepte les nombres décimaux divisibles par 4, c'est-à-dire : {m | ? k ? N+, m = 4k}. Une manière de vérifier si un nombre est multiple de 4 (ou ...