User:Jshflynn/Theorems

Theorems

 * Empty Word is Unique
 * Length of Concatenation
 * Empty Word is Two-sided Identity
 * Concatenation is Associative
 * Language Product is Associative
 * Linguistic Structure Underlying Set
 * Kleene Plus is Linguistic Structure
 * Kleene Plus is Semigroup
 * Kleene Star is Linguistic Structure
 * Kleene Star is Monoid
 * Length is Epimorphism
 * Length is Isomorphism Iff Alphabet is Singleton