1290.20 유한 상태 머신의 표현 가능 범위