Bonjour,
Pouvez-vous m'aidez concernant se résonnement svp.

a) Soit S = {(M)| M est un AFD tel que M accepte si M accepte w}. Montez que S est un langage décidable.

(b) Soit S = {(M1, M2) | M1 et M2 sont des AFD tels que L(M1)  L(M2)}. Montez que S est un langage décidable.