685
edits
Kuna: Difference between revisions
m
clarify
(describe kuna) |
m (clarify) |
||
| Line 6: | Line 6: | ||
# Parsing the token stream into a [[surface structure]] tree using an [https://en.wikipedia.org/wiki/Earley_parser Earley parser]. | # Parsing the token stream into a [[surface structure]] tree using an [https://en.wikipedia.org/wiki/Earley_parser Earley parser]. | ||
# Recovery of the [[deep structure]] as a binary tree that conforms to Toaq's [[syntax]]. | # Recovery of the [[deep structure]] as a binary tree that conforms to Toaq's [[syntax]]. | ||
# Denotation of the syntax tree, using Toaq's [[semantics]]. | # Denotation of the syntax tree (i.e. assigning a formula to each subtree), using Toaq's [[semantics]]. | ||
# Rendering of the tree as LaTeX, png, … | # Rendering of the tree as LaTeX, png, … | ||
The code is [https://github.com/toaq/kuna on GitHub]. | The code is [https://github.com/toaq/kuna on GitHub]. | ||