Example

Create a finite state automaton that recognizes the set of all strings of a's, b's, and c's that start with an a and have no two successive characters the same.