Tag Archives: Formal Language

Formal Language and Turing Completeness

웹 서비스와 관련된 책을 보다가 좀 생뚱맞게도 Turing Completeness에 관한 내용을 만나서 오랜만에 오토마타 수업 교재를 들춰보고 있다. 지도교수님의 과목이기도 했고, 교수님께서 수업도 재미있게 이끌어주셔서, 그나마 다른 과목보다는 좀 열심히 들었던 것 같은데. 역시나 지금 돌아보니 기간만 한 학기로 좀 길어진 당일치기 혹은 벼락치기를 한 느낌만 가득하고 머릿속이 하얗다. Turing Machine에 관련된 내용뿐만이 아니더라도, Context-Free Grammar나 Pumping Lemma에 관한 기억도 가물가물, 개념을 상실하셨다. 역시 지식은 그에 합당한 노력만이 증명해 줄 뿐이라는 당연한 교훈을 다시 한 번 시큼하게 느껴본다. 건방진 마음이나 잠시의 혈기로는 아무리 재능이나 운이 따라도 결국 소용 없이 대가를 치뤄야 하는 건가. 공부에 그다지 욕심을 부리는 성격이 아닌데(정말 정말 아닌데, 정도로 더 강조를 해둬야 사실에 가까워지겠지만) 우습지도 않은 아쉬움에 이상한 방식으로 동기부여를 받고 있다. 우습고 후회되지만, 이제와서 생각해보자면 한편으론 즐거워야 할 일이 아닐까. Formal Language에 감사해야 하나.