Next: Solving a query
Up: A Powerful Grammar Formalism
In this section I define the procedural semantics of our formalism
using the standard terminology as for example presented in
. The procedural semantics for
() will be
similar to Prolog's procedural semantics. For grammars I will
investigate different procedural semantics, i.e. parsing and
generation strategies, in the chapters 3 and 4.
However, as I will define these alternative
strategies as meta interpreters within
() itself, it will still
be useful to define the `basic' procedural semantics here.
Noord G.J.M. van