lex와 yacc, 개정판

1장. 렉스와 야크
   가장 간단한 렉스 프로그램
   렉스 이용한 단어 인식
      기호 테이블
   문법
      파서와 렉서의 의사 소통
      언어 요소 분석기
      야크 파서
      규칙절
   렉스와 야크의 실행
   렉스와 손수 작성한 렉서의 비교
   연습 문제

2장. 렉스 이용하기
   정규 표현식
      정규 표현식의 예
   단어 세기 프로그램
   명령행 파싱
      시작 상태
   C 소스 코드 분석기
   요약
   연습 문제

3장. 야크 이용하기
   문법
      재귀 규칙
   이동/감소 파싱
      야크에서 파싱할 수 없는 문법
   야크 파서
      정의절
      규칙절
      기호 값과 동작
   렉서
      간단한 파서 컴파일 및 실행
   산술 표현식과 모호성
      우선 순위 규칙을 사용하지 말아야 할 때
   변수와 타입을 갖는 토큰
      기호 값과 %union
   기호 테이블
   함수와 예약어
      기호 테이블의 예약어
      교환 가능한 함수와 변수명
   Make를 이용한 파서 구축
   요약
   연습 문제

4장. 메뉴 생성 언어
   MGL 개요
   MGL 개발
   MGL 구축
      초기화
   화면 처리
   종료
   샘플 MGL 코드
   연습문제

5장. SQL 파싱
   SQL 개요
      관계형 데이터베이스
      관계의 구성
      SQL을 사용하는 세 가지 방법
   구문 검사기
      렉서
      에러와 메인 루틴
   파서
      정의
      최상위 규칙
      스키마 서브-언어
      모듈 서브-언어
      조작 서브-언어
      잡동사니
      구문 검사기의 사용
   임베디드 SQL
      렉서에 가한 변경
      파서에 가한 변경
      보조 루틴
      전처리기 이용하기
   연습문제

6장. 렉스 명세서 참조
   렉스 명세서의 구조
      정의절
      규칙절
      사용자 서브루틴
   BEGIN
   버그
      모호한 미리 보기
      AT&T 렉스
      플렉스
   문자 변환
   컨텍스트 감지
      왼쪽 컨텍스트
      오른쪽 컨텍스트
   정의 (대체)
   ECHO
   Include 연산 (파일의 논리적 포함)
      yywrap( )을 이용한 파일 체인
      파일 포함 구조
   문자열에서 읽어들이는 입력
      AT&T 렉스
      플렉스
      아브락사스 피시렉스
      MKS 렉스
      POSIX 렉스
   input( )
   내부 테이블(%N 선언)
   렉스 라이브러리
      main( )
      다른 라이브러리 루틴
   행 번호와 yylineno
   리터럴 블록
   한 프로그램에 존재하는 여러 개의 렉서
      결합된 렉서
      여러 개의 렉서
   output( )
   렉서가 생성한 렉서의 이식성
      렉스 명세서 이식
      생성된 C 렉서 이식
   정규 표현식 구문
      메타 문자
      POSIX 확장
   REJECT
   yylex( )에서 값 리턴하기
   시작 상태
   unput( )
   yyinput( ), yyoutput( ), yyunput( )
   yyleng
   yyless( )
   yylex( )
      yylex( ) 안의 사용자 코드
   yymore( )
   yytext
      yytext 확장
   yywrap( )

7장. 야크 문법 참조
   야크 문법의 구조
      기호
      정의절
      규칙절
      사용자 서브루틴절
   동작
      규칙에 내장된 동작
      내장 동작을 위한 기호 타입
      사라져가는 기능
   모호성과 충돌
      충돌의 타입
   야크에 존재하는 버그
      실제 버그
      무한 재귀
      실제 버그가 아닌 것
   끝 표시기
   에러 토큰과 에러 복구
   %ident 선언
   상속된 속성 ($0)
      상속된 속성을 위한 기호 타입
   렉서의 피드백
   리터럴 블록
   리터럴 토큰
   야크 파서의 이식성
      야크 문법 이식
      생성된 C 파서 이식
   우선 순위, 결합 법칙 그리고 연산자 선언
      우선 순위와 결합 법칙
      연산자 선언
      우선 순위와 결합 법칙 이용한 충돌 해소
      우선 순위의 전형적인 이용
   재귀 규칙
      왼쪽과 오른쪽 재귀
   규칙
   특수 문자
   시작 선언
   기호 값
      기호 타입 선언
      계산기 예제
      명시적인 기호 타입
   토큰
      토큰 번호
      토큰 값
   %type 선언
   %union 선언
   여러 가지 다른 문법들
      결합된 파서
      여러 개의 파서
      재귀적인 파싱
      여러 개의 파서를 위한 렉서
   y.output 파일
   야크 라이브러리
      main( )
      yyerror( )
   YYABORT
   YYACCEPT
   YYBACKUP
   yyclearin
   yydebug와 YYDEBUG
      YYDEBUG
      yydebug
   yyerrok
   YYERROR
   yyerror( )
   yyparse( )
   YYRECOVERING( )

8장. 모호성과 충돌
   포인터 모델과 충돌
      충돌의 타입
      파서 상태
      y.output의 내용
      y.output 안의 충돌 재검토
   충돌의 흔한 예
      표현식 문법
      IF-THEN-ELSE
      중첩 리스트 문법
   충돌 해결 방법
      IF-THEN-ELSE (이동/감소)
      루프 안에 있는 루프 (이동/감소)
      표현식의 우선 순위 (이동/감소)
      제한된 미리 보기 (이동/감소 혹은 감소/감소)
      선택 사항의 중복 (감소/감소)
   요약
   연습 문제

9장. 에러 보고와 복구
   에러 보고
      더 나은 렉스 에러 보고
   에러 복구
      야크 에러 복구
      에러 토큰의 위치
      컴파일러 에러 복구
   연습 문제

부록 A. AT&T 렉스
   에러 메시지

부록 B. AT&T 야크
   옵션
   에러 메시지

부록 C. 버클리 야크
   옵션
   에러 메시지
      치명적인 에러
      일반적인 에러
      경고
      추가적인 정보를 위한 메시지

부록 D. GNU 바이손
   차이점

부록 E. 플렉스
   차이점
   옵션
   에러 메시지
   렉서 예제의 플렉스 버전

부록 F. MKS 렉스와 야크
   차이점
   새로운 기능

부록 G. 아브락사스 렉스와 야크
   차이점
   새로운 기능

부록 H. POSIX 렉스와 야크
   옵션
   차이점

부록 I. MGL 컴파일러 코드
   MGL 야크 소스
   MGL 렉스 소스
   지원을 위한 C 코드

부록 J. SQL 파서 코드
   야크 파서
      상호 참조
   렉스 스캐너
   지원 코드