you would like to design a finite state machine that accepts non-negative numbers written in ternary notation (i.e., using digits 0, 1, 2), which leave a remainder of 7 when divided by 13. the number is to be fed most-significant-digit first. what can you say about this machine's state-diagram?