Question: Present a transition diagram for an NFA that recognizes the set of binary strings that starts with a 1 and, when interpreted as entering the NFA most to least significant digit, each represents a binary number that is divisible by either five or six. Thus, 101, 110, 1100, 1111 are in the language, but 111, 1011 and 11010 are not.
Here is my divisible by 5 NFA:
But how do I make a transition diagram that does divisible by 6, and then combine it with this one?
Any help at all is greatly appreciated!
]]>