Symbols

• Single and multicharacter symbols

  a, b, c, … , +Adj, +SG, ^Fin
  

• Special symbols

  0 EPSILON
  
  ? ANY

• Symbols vs. symbol pairs

  • In general, no distinction is made between
    a the language {“a”}
    
    a:a the identity relation {<“a”, “a”>}

Previous slide

Next slide

Back to first slide

View graphic version