1 initial state: 초기상태