Contents

• ALE Data Structure
  • Path Compression
  • Unification Algorithm
  
  
• Signature files
  • TRALE-EXTENSION:Signature Input Format
  
  
• Signature Compilation
  • Subsumption Matrices and Transitive Closure
  • Monoids, Rings, Quasi-Rings, and Semirings
  • Topological Sorting
  • Zero-Counting by Quadrants
  • Prolog Representation of ZCQ Matrices
  • Transitive Closure with ZCQ
  • Compiling Appropriateness Conditions
    • Feature Introduction
    • Value Restriction Consistency
    • Appropriateness Cycles
    • Join Preservation Condition
  • Subtype Covering
    • Computing $maxcount$ of each type
    • Classifying Deranged Types
  
  
• Description Compilation
  • Serialization
  • Sorting
  • Peephole Optimization
  • Code Generation
  • ALE Lexical Rule Compilation
  
  
• Logical Variable Macro Compilation
• Co-routining
• Complex-Antecedent Constraint Compilation
• TRALE Lexical Rule Compiler
  • TRALE-EXTENSION:Introduction
    • TRALE-EXTENSION:Background
    • TRALE-EXTENSION:The lexical rule compiler
  • TRALE-EXTENSION:Step One: Generating Frames
    • TRALE-EXTENSION:Disjunction in the input and output specifications
    • TRALE-EXTENSION:Interpreting lexical rule descriptions
    • TRALE-EXTENSION:Overview of code for frame generation
  • TRALE-EXTENSION:Step Two: Global Lexical Rule Interaction
  • TRALE-EXTENSION:Step Three: Word Class Specialization
  • TRALE-EXTENSION:Step Four: Definite Relations
  
  
• Bottom-up Parsing
  • The Algorithm
  • EFD-closure
  • Parsing Complexity
  
  
• Topological Parsing
  • Phenogrammar
    • Linkage
  • Tectogrammar
  • Synchronising Phenogrammar and Tectogrammar
    • Covering
    • Matching
    • Splicing
    • Compaction
    • Precedence and Immediate Precedence Constraints
    • Topological Accessibility
  • Phenogrammatical Parsing
  • Tectogrammatical Parsing
    • Category Graphs and Head Chains
    • Bit Vector Lattices
  
  
• Generation
  • The Algorithm
  • Pivot Checking
  
  
• SLD Resolution
• Bibliography
• About this document ...