1277.148 로봇 상태 머신의 비결정론적 확장 가능성