Théorie de calcul ne peut pas concevoir un DFA

Question

bonjour les gars pouvez-vous m'aider avec cette question je ne peux pas le résoudre par moi-même considérer une langue sur l'alphabet Σ = {a, b, c} avec toutes les chaînes avec a jamais précédé par b et jamais suivi par c. Concevoir et implémenter un DFA qui accepterait cette langue?

Thank you :)

Answer 1

Je ne comprends pas les questions, vous voulez un DFA qui a pris fin avec c, a, b? Ou un dfa qui s'est terminé avec, par exemple seulement un est correct? Pour le premier exemple, le DFA est comme:

1. q0 -> état initial
2. de q0 à q1 avec c
3. de q1 à q1 avec c
4. de Q1 à Q2 avec un
5. de q1 à q0 avec b
6. de q2 à q2 avec un
7. de q3 avec à q2 b
8. q3 -> fi état nal
9. de q3 à q3 avec b.