프로세스 는 제작물 을 위한 한 세트 의 명령어 들 에 대해 의미론 적 인 분석 을 수행 함 으로써 시작 된다 ( 연산 2500 ) . 이 연산 은 제작물 을 위한 임의 의 명령어 들 에서 의미론 적 인 오류 들 이 발생 하 는지 를 판단 하 기 위해 수행 된다 . 이 예 들 에서 한 세트 의 명령어 들 은 하나 이상 의 명령어 들 이 다 . 그 후 에 , 의미론 적 인 에러 가 존재 하 는지 여부 에 대하 여 판단 된다 ( 연산 2502 ) .