1277.126 π-계산법과 유한 상태 머신