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:
“Our Luke shall leave us, Isabel; the land
Shall not go from us, and it shall be free;
He shall possess it, free as is the wind
That passes over it.”
—William Wordsworth (1770–1850)