Finds valid, minimum-size grammars based on a list of terms and a generalized delta table.
Finds valid, minimum-size grammars based on a list of terms and a generalized delta table.
The terms to be compressed.
A generalized delta table for terms.
The name of eigenvariables to introduce.
Finds valid, minimum-size MultiGrammars based on a TermSet and a generalized delta table.
Finds valid, minimum-size MultiGrammars based on a TermSet and a generalized delta table.
The TermSet to be compressed.
A generalized delta table for terms.
The name of eigenvariables to introduce.
Takes a set of terms and, using DeltaG, computes the set of smallest grammars that generate it.