이 예 들 에서 , 실행 모듈 ( 1732 ) 은 문법 구문 분석기 ( 1730 ) 에 의해 만들 어 진 구문 분석 트리 들 에서 생성 된 명령어 들 이 의미 상 으로 올바른지 여부 를 판단 한다 . 만약 의미 상 의 오류 들 이 발생 하 면 , 실행 모듈 ( 1732 ) 은 이 예 들 에서 오류 를 생성 하 고 그 명령어 를 무시 한다 . 그러나 , 일부 경우 에 는 실행 모듈 ( 1732 ) 이 정정 되 기 에 충분 한 정보 가 존재 한다면 이 오류 들 이 정정 될 수 있 다 .