1278.105 상태-전이 그래프의 강연결 분석