, 즉 각 형식문법이 생성하는 언어들에 속하는 문자열에 대한 명제가 참인지를 각 문법의 생성규칙들을 조사해 결정하는 알고리듬, 을 연구 중인데 저에게 조금의 도움이라도 주시면 정말 감사하겠습니다.

- 희망의 등불