The collecting process does introductory restatement mechanisms and also error discovery. 프런트 엔드 개요에는 언어, 구문 및 의미 분석이 포함됩니다. And at the aft end, the compendium does the law generation and optimization.