Free Hull
The intersection of free submonoids of a free monoid A∗ is again free. If S is a subset of a free monoid A* then the intersection of all free submonoids of A* containing S is well-defined, since A* itself is free, and contains S; it is a free monoid. A basis for this intersection is the free hull of S.
The defect theorem states that if X is finite and C is the free hull of X, then either X is a code and C = X, or
- |C| ≤ |X| − 1 .
Read more about this topic: Free Monoid
Famous quotes containing the word free:
“Some are “industrious,” and appear to love labor for its own sake, or perhaps because it keeps them out of worse mischief; to such I have at present nothing to say. Those who would not know what to do with more leisure than they now enjoy, I might advise to work twice as hard as they do,—work till they pay for themselves, and get their free papers.”
—Henry David Thoreau (1817–1862)