1277.93 Green 관계와 유한 상태 머신의 대수적 분류