Design a one-input one-output synchronous sequential circuit that examines the input sequence in no overlapping strings having three input symbols each and produces an output symbol 1 that is coincident with the last input symbol of the string if and only if the string consisted of either two or three 1s. For example, if the input sequence is 010101110, the required output sequence is 000001001. Design and verify above in mealy modeling.