1278.106 상태-전이 그래프의 사이클 분석