Index

Abstract Syntax

Algebra   (<S,>-algebras)
     Free__
     Initial __
     Sub___

Commuting diagram

Concrete Syntax

Context-free Grammar
    algebras of a ___
    ambiguous___
    language generated by a__
    signature of a ___

Functions
     total____
        graph of ___
        source of ___
        target of ___
     partial___
        domain of ___
        source of ___
        target of __

Homomorphisms
    Initial__
    composite of ___
    identity ___
    image of ___
    ____property

Isomorphism
    inverse of ___

Ordered pairs
    first element of ___
    second element of ___

Signature
    __ Morphism
    Overloaded___

S-ary sets
    mappings of ___

S-indexed sets

Strings
     length of___
     concatenation of ___
     empty ___
      ___Morphism

Terms    (<S,>-terms)
    Constant __
    sub___
        proper sub___

Trees   (<S,>-trees)