Syntax

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Syntax
  • Examples
  • Backus-Naur Form (BNF)
  • Example
  • Ambiguous Syntax Definitions
  • Semantics
  • Two BNF Definitions
  • Abstract Syntax Definitions
  • Set Theory
  • More Readable Version
  • Mathematical Induction
  • Structural Induction
  • Example
  • Simultaneous Induction
    • Author: Wolfgang Schreiner
    Last Modification: October 13, 1997
    [Up] [RISC-Linz] [University] [Search]