Invoking zdatrtok

The zdatrtok module is a top down parser whose purpose is to preprocess a given DATR theory by building look-up tables and representing the equations in a tree structure.

The resulting token file contains all necessary information for the inference engine and therefore can be used for repeated query calls without the original DATR source.

A commented walkthrough for invoking both modules is given using the example in the appendix 6.

Five command-line parameters are supported:

Obligatory

Parameter

-i FileName

The required source name of the DATR theory to be processed (obligatory).

Optional

Parameter

-o FileName

The destination name of the token file. If not given, the token file will have the name of the sourcefile + the extension .tok. In order to run the tokenizer and the inference engine within one command line, a special filename, stdout, can be used. The output will be redirected to STDOUT, i.e. the terminal at which the programm was invoked.

-l FileName

The name of the log-file (DEFAULT= zdatr.log), where all statistics etc. will be stored.

-e FileName

The name of the error-file (DEFAULT= zdatr.err), where all warnings and error messages will be written. Check this file for further information about parse errors, multiple definitions etc.

-s

Stealth mode. The only additional output besides the token file are error messages. This mode is recommended when the -o stdout flag is used.