Kuna

Revision as of 21:47, 7 August 2023 by Laqme (talk | contribs) (clarify)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.