Module Botmcfg


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