Skip to main content

Module minimize

meta_language::grammar::inference

Module minimize 

Source
Expand description

MDL/Occam minimization for inferred grammars.

The minimizer is deterministic and conservative. It greedily accepts transformations that reduce a two-part MDL score while preserving recall on the supplied positive examples and rejecting sampled strings that the input grammar did not accept beyond the configured precision budget.

Structs§

Mdl
Two-part Minimum Description Length cost in bits. Lower is better.
MinimizeOptions
Options for minimize.
MinimizeReport
Counts and rejection reasons recorded during minimization.
MinimizeResult
Minimized grammar and before/after accounting.

Functions§

mdl_cost
Computes deterministic two-part MDL for grammar on examples.
minimize
Generalises and minimises an inferred grammar under an MDL objective.