Next: Grammars, Previous: Installation, Up: Top
This chapter is about the grammar file compiler of the XDK. The grammar file compiler transforms a grammar file in one of the grammar file input languages (currently: User Language (UL) and XML language) into a grammar in the Solver Language (SL) which can be fed into the XDK solver. Basically, compilation of grammar files consists of expanding the lexical entries and encoding them for use in the XDK solver.
This chapter is chiefly about the structure of grammar files. In our
explanations, we will often refer to the example grammar
Grammars/Acl01.ul, which is written in the UL. The example
grammar Grammars/Acl01.xml is an XML version of the same grammar.
The structure of this chapter is as follows: After an overview in Overview1, we explain how to define and use dimensions in Dimensions, and how to define types in Types. In Principles, we show how to use principles, and in Outputs1 how to use output functors. In Lexicon, we explain how to write the lexicon. In Lattices, we introduce lattices which correspond to the types. Merge explains how grammar files can be merged.
The next sections are for reference purposes only: In Types reference we give a list of all types and their lattices. In UL syntax, we present the full syntax of the User Language, and in XML syntax of the XML language.
Developers only: In IL syntax, we explain the syntax of the Intermediate Language, and in SL syntax the syntax of the Solver Language. The grammar record is the internal representation of a compiled grammar. We explicate it in Grammar record. Finally, we explain the lattice functors corresponding to the lattices, and used in various places in the XDK, in Lattice functors.
-- reference --
-- developers only --