형식언어와 오타마타라는 과목을 들었는데
공부 안해서 도대체 뭐하는 과목인지도 모름.
이거 코딩하는데 도움되는거임?
형식 언어 = 우리가 쓰는 규칙이 제멋대로인 자연어가 아니라 일정한 체계를 갖추고 수학적으로 좀 더 엄밀하고 기반이 되는 작은 체계가 간단하게 구성되어 있음. 정규식도 형식 언어의 일종이랄까.
오토마타는 옛날에 튜링이 논리적으로 세운 튜링 기계를 현대에 와서 좀 더 엄밀하고 추상화시킨 거라고 보면 됨. 흔히 많이 들어서 알만한 FSM 도 오토마타의 한 분류. 그냥 수학적인 대상이라고 보면 됨.
님이 코딩하고 나서 쓰는 컴파일러 만들때 사용하는 이론인데요
형식 언어 = 우리가 쓰는 규칙이 제멋대로인 자연어가 아니라 일정한 체계를 갖추고 수학적으로 좀 더 엄밀하고 기반이 되는 작은 체계가 간단하게 구성되어 있음. 정규식도 형식 언어의 일종이랄까.
오토마타는 옛날에 튜링이 논리적으로 세운 튜링 기계를 현대에 와서 좀 더 엄밀하고 추상화시킨 거라고 보면 됨. 흔히 많이 들어서 알만한 FSM 도 오토마타의 한 분류. 그냥 수학적인 대상이라고 보면 됨.
님이 코딩하고 나서 쓰는 컴파일러 만들때 사용하는 이론인데요