Free Semigroup Definition/Meaning:
A semigroup S consisting of words, i.e. strings of elements all
of which reside in some alphabet A; the operation o is that of concatenation or
juxtaposition between elements of S. Thus if
A = {a, b, c}
then ab o aabb produces abaabb
S is the free semigroup generated by the alphabet
A, whose elements are called the generators of S - the elements being free of
interrelationships.
|
