최근에 저지르려고 준비중인 일이 Python을 이용해서 C++ 소스를 실행하는 것이다.

그래서 파싱쪽을 알아보고 있는데, 
널리 알려진 대로 C++ 문법은 LALR(1)에 속하지 않는다.
좀 더 쉽게 말하면 yacc을 이용해서 C++을 파싱할 수 없다.

그래서 찾아본 바로는 GLR 등을 이용하면 파싱이 가능한다고 한다.
GLR의 기본적인 아이디어는, LR 파싱을 하다가 파싱트리의 모호성이 발견될 때 가능한 방법 모두를 다 해보고 그중에서 되는걸 고른다! 이다.
위키피디아를 참고하면 O(n^3)의 시간에 처리가 가능하다고 한다.

파이썬 위의 구현체를 좀 찾아보다가 포기하고 bison (yacc의 GNU 구현)이 GLR을 지원한다길래 좀 조사를 해봤는데, 매뉴얼에 다음과 같은 문장이 있었다.
In general, a GLR parser can take quadratic or cubic worst-case time, and the current Bison parser even takes exponential time and space for some grammars.
오예!

나는 지금 GLR parser generator를 작성할 것인가 라는 기로에 놓여있다.