어제 질문한 거 사실 이미 알고 있던 거였음.
문법이 언어와 동치임을 보일 때
유도 횟수(rank)에 대한 귀납법이랑
문자열의 길이에 대한 귀납법으로 증명함.
이걸 까먹다니 ㅋㅋㅋ

- dc official App