Kuna

Kuna is a program for parsing Toaq Delta. It aims to be a computer translation of the syntax and semantics pages of the refgram: a program that can turn Toaq sentences into parse trees and logical-form sentences.

It performs the following steps in order:

1. Cleanup and tokenization of an input Toaq sentence.
2. Parsing the token stream into a surface structure tree using an Earley parser.
3. Recovery of the deep structure as a binary tree that conforms to Toaq's syntax.
4. Denotation of the syntax tree (i.e. assigning a formula to each subtree), using Toaq's semantics.
5. Rendering of the tree as LaTeX, png, …

The code is on GitHub.