불필요한 생성규칙 ( useless production )

불필요한 기호(useless symbol)
터미널 문자열을 생성할 수 없는 논터미널 기호이거나 시작기호로부터 도달 불가능한(unaccessible)기호.

만약 CFG G=(VN, VT, P, S)의 문법기호에 대하여 S=(*)=> εXβ =(*)=>w, 단 w ∈ VT*와 같은 유도과정이 존재할 때, 기호X는 필요하다(useful)고 한다. 또한 필요한 기호가 아닌 기호를 불필요하다(useless)고 한다.

불필요한 생성규칙(useless production)
불필요한 기호를 가지고 있는 생성규칙


제거방법
1. 터미널 문자열을 생성할 수 없는 논터미널 기호를 가진 불필요한 생성규칙의 제거
2. 시작기호로부터 도달 불가능한 기호를 갖는 생성규칙 제거
1,2 순서로 적용해야 완전한 제거가 가능하다.