User:Jshflynn/Theorems
Jump to navigation
Jump to search
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
- Concatenation is Cancellable
- Intersection of Linguistic Structures
- Language Product Distributes over Union
- P-star is Commutative Monoid under Union
- Product of Languages is Language
- Null Language is Identity of Language Product
- P-star is Monoid under Language Product
- P-star forms Additive Rig with Unity
- Levi's lemma case 1
- Condition for Concatenation Commutativity
- Subsequence Relation is Pre-Ordering
- Infix Relation is Partial Ordering
- Left Quotient Related to Right Quotient