1277.123 프로세스 대수와 유한 상태 머신