문맥 자유 문법과 관련하여 = *> 의미는 무엇입니까?

Question

필자는 컴파일러 이론에 대한 몇 권의 책과 온라인 참고서를 읽었으며, 특정 주제어가 문맥 자유 문법 일 때 특히 그 연산자가 계속해서 (예 : here에서 볼 때) 올라 오는 것을 보았습니다. 무슨 뜻이에요? 또한 =>과 어떻게 다른가요?

=>과 =*>을 구별하는 설명이 가장 도움이 될 것입니다.

Answer 1

=> 0 개 이상의 단계 (= reflexive transitive closure of =>)에서 유도되는 동안 =>는 한 단계에서 파생됩니다.