결과적으로 하나의 값으로 환원되는 것을 식이라고한다. 따라서 ';' 세미콜론을 찍어줌으로써 하나의 값으로 환원 된다는 것을 알린다. 정리 1. 식은 값으로 환원된다. 2. ';'을 통해 식과 식을 구별한다.
값으로 환원되지 않은 코드를 문이라고한다.