module Botmcfg: sig end
Main module for the Bottom-Up MCFG Chart Parser. Designed to efficiently
parse n-MCFGs of arbitrary dimension (arbitrary n), with empty
categories. The MCFGs must be in a normal form where terminating rules
must be of arity (dimension) 1, and non-terminating rules must have no
more than two right hand side elements, which must be nonterminal symbols.
In addition, the mapping functions for each production must mention each
right-hand side element exactly once.
Author(s): Daniel M. Albro
Version: $Revision: 1.6 $
Since 10/24/02 - [da]: Initial Creation
val bottom_up_parse : Grammar.grammar -> int array -> Chart.chart
Parses sentence
with respect to grammar g
.
Raises Success(ch)
if parse succeeded. Argument is the filled-out chart.
Returns the filled-out chart.
g
: - Grammar within which to parse
sentence
: - an array of integers from the terminals symbol
table of g