I have made a draw of a DFA, and I have to formally define the automaton in the following format. Let $A$ be the necessary automaton : $$A=<\Sigma,Q,q_0,\delta,F>$$

Where $\Sigma=\{a,b,c\}, Q=\{q_0,...,q_4\}, F=q_3$ and $q_0$ is the initial state.

The drawing is attached to this post:Automaton

Can I do something like $\delta_{A}(q_0,\sigma)=q_1$ for each state? should I unite a few states together?

Thank you!


1 Answer 1


You're over-thinking this.

You need to define the value of $\delta(q,\sigma)$ for every $q\in Q$ and $\sigma\in\Sigma$ and, ideally, make it clear that you have done so. What format you use is a matter of your and your instructor's personal preferences.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.