TDF Notation Compiler

  1. 1. Introduction
  2. 2. Input classes
  3. 3. Input syntax
    1. 3.1. Basic syntax
    2. 3.2. Sorts
    3. 3.3. Numbers and strings
    4. 3.4. Tokens, tags, alignment tags and labels
  4. 4. Outer level syntax
    1. 4.1. Included files
    2. 4.2. Internal and external names
    3. 4.3. Token declarations
    4. 4.4. Token definitions
    5. 4.5. Alignment tag declarations
    6. 4.6. Alignment tag definitions
    7. 4.7. Tag declarations
    8. 4.8. Tag definitions
  5. 5. Shape checking
  6. 6. Remarks
  7. 7. Limitations