Example:  Arithmetic Expressions I:   The context-free grammar is: The corresponding signature is:
The Signature GramAE1 in mathematical form:

 name: GramAE1

 sorts: {Digit, Pint, Int, Exp}

 GramAE1(Digit) = {d0, d1, d2, d3, d4, d5, d6, d7, d8, d9}
 GramAE1(PInt) = {p1, p2, p3, p4, p5, p6, p7, p8, p9}
 GramAE1(PInt.Digit,PInt) = {pd}
 GramAE1(PInt,Int) = {inc}
 GramAE1(Int) = {z}
 GramAE1(PInt,Int) = {neg}
 GramAE1(Int,Exp) = {inc2}
 GramAE1(Exp.Exp,Exp) = {plus, times, minus, div}

End of signature GramAE1.

This signature is built-into the UACalculator so you can experiment with it.