유한오토마타인가 뭔가가 형식언어>컴파일러 구성 과목에 있던디 꼭 해야함?