dfa나 cfg같은 독특하고 재밌는 구조를 어떻게 떠올리고 정의한거지