문맥 자유 문법 G = (N, Sigma, S, P)가 주어졌을 때,
임의의 문자열 w에 대하여 S로부터 w를 유도할 수 있다면 S로부터 w를 최우단-유도할 수 있다.

- dc official App