I'm new to Formal Systems and Automata and I'm working on some exercises to get familiar with the concepts.
I want to create a DFA that accepts natural numbers divisible by 6. I know that a number is divisible by 6, if it is divisible by 2 and divisible by 3.
What is the correct approach here to get a minimal automaton? Should I just create two automata, one for divisibility by 2 and one for divisibility by 3, and create the intersection of both or how would you do that?