변환기의 가능한 상태의 유한수 m이 있고 그것의 출력은 현재의 상태와 현재의 입력기호의 함수이다.
There exist a finite number m of possible states of the transducer and that its output is a function of the present state and the present input symbol.