꺄뜨르 2012. 4. 22. 14:44

 

 

non-terminal 심볼을 terminal 심볼로 바꿔나가는 거구만

context-free 인 이유는 앞뒤 상관없이 걍 n은 t로 바꾸면 되니깐 ?

 

 

 

 

 

 

 

 

 

스타팅 심볼에서 w까지 derivation이 있어야 한다. =>*은 0회 이상 direct derivation이 일어났다는걸 의미