同桥大学 TONGJI UNIVERSITY Proof (continued) It is a Finite state machine,there must exist number i and j,such that d =d; e;=ej Proof (continued) ⚫ It is a Finite state machine, there must exist number i and j, such that i j i j i j d d e e f f = = =