{w est dans {a, b} * | w contient b seulement dans certaines positions de cotes}

Question

J'ai besoin du DFA et de l'expression rationnelle pour ce langage. Je pense que le DFA est ceci mais l'expression régulière que je reçois est ceci ((aUb) a) * et je pense que ce n'est pas correct.

Answer 1

Utilisation du DFA regex conversion maintenant et je pense que je l'ai:

((aa | ba) * a) | ((aa | ba) * b) | (aa | ba) *

simplifié comme @Bergi dit:

(aa | ba) * | (a | b | ε)