어휘와 문법상의 규칙

m4는 입력을 읽어서 토큰으로 분리한다. 하나의 토큰이라는 것은 명칭이거나 따옴표로 둘러싸인 문자열, 또는 명칭이나 문자열의 일부분이 아닌 단일문자이다. m4로의 입력은 주석문도 포함할 수 있다.

명칭

하나의 명칭은 첫글자가 숫자로 시작하지 않는, 영문자, 숫자, _ (밑줄문자; underscore)의 집합이다. 만일 명칭이 매크로로 정의된 것이면 그것은 다시 매크로 확장이 될 것이다. (see section 매크로 사용하기).

올바른 명칭의 예는 다음과 같다: `foo', `_tmp', `name01'.

따옴표로 둘러싸인 문자열은 따옴표 `와 '로 둘러싸여진다. 둘러싸기 시작 따옴표와 둘러싸기 끝 따옴표의 갯수는 문자열에서 똑같아야 한다. 문자열 토큰의 값은 따옴표를 한 겹 벗겨낸 상태의 텍스트이다. 따라서

`'

는 빈 문자열이다. 그리고

``quoted''

는 문자열

`quoted'

이다.

따옴표 역할을 하는 문자는 내장 매크로 changequote를 사용하면 언제든지 변경될 수 있다. (자세한 사항은 see section 인용 문자 바꾸기).

(역자주 : 이쯤에서 주의하여야 할것이 한가지 있다. 명칭을 나타내는 따옴표에서.. 예를 들면 `quoted'에서 왼쪽 따옴표는 키보드상에서 ESC키 밑에 있는 것이고, 오른쪽 따옴표는 엔터키 옆에 있는 것이다. 헷갈려서 괜한 시간을 낭비하지 않기 바란다.)

어떠한 문자든지, 명칭의 일부분도 따옴표로 둘러싸인 문자열의 일부분도 아닌 것은 그것 자체로 하나의 토큰이다.

m4에서 주석은 보통 `#'과 newline 문자사이로 경계 지어진다. 주석 경계사이의 모든 문자들은 #과 newline 문자들과 함께 무시된다. 그러나 전체 주석(경계 문자도 포함해서)은 출력으로 건네진다. 주석은 m4에 의해서 제거되지 않는다는 말이다.

주석은 중첩될 수 없다. `#' 다음의 첫번째 newline문자로 주석은 끝난다. 주석 시작 문자를 따옴표로 둘러싸면 주석문으로 되는 효과를 막아 버릴 수 있다.

주석 구분자는 언제든지 어떤 문자열로든지 내장 매크로 changecom을 사용하여 변경할 수 있다. (See section 주석 구분자 변경하기).