Esterel을 위한 오토마타 생성 기반구조 = An automata generation framework for esterel