Menu
Menu
Show
Language Classes
Operations
Models
C. Kinds and Measures
Language Families
DataBase Viewer
Reference List
Add
Language Class
Operation
Result
Model
C. Kind or Measure
Language Family
Bibtex entry
Sign In
View by Operation
Complexity Kind
Worst-Case
Average-Case
Operation
Union
Intersection
Cyclic Shift
Plus
Star
Reversal
Difference
Catenation
Symmetric Difference
Left quotient
Complementation
Right quotient
Left quotient by a word
Right quotient by a word
Star of Union
Shuffle
Power
Proportional removals for identity relation
Orthogonal Catenation
Unique Union
Unique Catenation
Unique Star
Unique Square
Closure
Prefix-closure
Suffix-closure
Factor-closure
Subword-closure
Prefix-freeness
Suffix-freeness
Bifix-freeness
Factor-freeness
Identity
Right Ideal Generated
Left Ideal Generated
Two-Sided Ideal Generated
All-Sided Ideal Generated
Right Ideal From Minimal Generator
Left Ideal From Minimal Generator
Two-Sided Ideal From Minimal Generator
All-Sided Ideal From Minimal Generator
Star of Intersection
Star of Catenation
Star of Reversal
Reversal of Union
Reversal of Intersection
Reversal of Catenation
State Complexity
Nondeterministic Transition Complexity
Nondeterministic State Complexity
Incomplete State Complexity
Deterministic Transition Complexity
Incomplete Transition Complexity
Syntactic Complexity
View by Language Class
Complexity Kind
Worst-Case
Average-Case
Alphabet Size
Any
=1
=2
=3
=4
=5
=6
=7
=8
=9
Only Combined
Language
Prefix-free
Prefix-closed
Finite
Regular
Suffix-free
Star-free
Bifix-free
Factor-free
Subword-free
Prefix-convex
Suffix-convex
Bifix-convex
Prefix-free regular
Prefix-closed regular
Factor-free regular
Suffix-free regular
Right Ideal
Left Ideal
Two-sided Ideal
All-sided Ideal
Suffix-closed
Factor-closed
Subword-closed
Factor-convex
Subword-convex
Bifix-closed
State Complexity
Nondeterministic Transition Complexity
Nondeterministic State Complexity
Incomplete State Complexity
Deterministic Transition Complexity
Incomplete Transition Complexity
Syntactic Complexity
View by Measure
Complexity Kind
Worst-Case
Average-Case
Complexity Measure
State Complexity
Nondeterministic Transition Complexity
Nondeterministic State Complexity
Incomplete State Complexity
Deterministic Transition Complexity
Incomplete Transition Complexity
Syntactic Complexity
Filter:
Union
$ L_1\cup L_2 $
Intersection
$ L_1\cap L_2 $
Cyclic Shift
$ L^{CS} $
Plus
$ L^{+} $
Star
$ L^\star $
Reversal
$ L^R $
Difference
$ L_1 \setminus L_2 $
Catenation
$ L_1L_2 $
Symmetric Difference
$ L_1\oplus L_2 $
Left quotient
$ L_1^{-1} L_2 $
Complementation
$ \overline{L} $
Right quotient
$ L_2L_1^{-1} $
Left quotient by a word
$ w^{-1}L $
Right quotient by a word
$ L w^{-1} $
Star of Union
$ (L_1\cup L_2)^\star $
Shuffle
$ L_1 \shuffle L_2 $
Power
$ L^i $
Proportional removals for identity relation
$ \frac {1}{2} (L) $
Orthogonal Catenation
$ L_1 \odot_\perp L_2 $
Unique Union
$ L_1 \buildrel\circ\over\cup L_2 $
Unique Catenation
$ L_1 \circ L_2 $
Unique Star
$ L^\circ $
Unique Square
$ L^{\circ2} $
Closure
$ _\unlhd L $
Prefix-closure
$ _\le L $
Suffix-closure
$ _\preceq L $
Factor-closure
$ _\sqsubseteq L $
Subword-closure
$ _\Subset L $
Prefix-freeness
$ L^\le $
Suffix-freeness
$ L^\preceq $
Bifix-freeness
$ L^b $
Factor-freeness
$ L^\sqsubseteq $
Identity
$ L $
Right Ideal Generated
$ L\Sigma^* $
Left Ideal Generated
$ \Sigma^\star L $
Two-Sided Ideal Generated
$ \Sigma^\star L \Sigma^\star $
All-Sided Ideal Generated
$ L\shuffle \Sigma^\star $
Right Ideal From Minimal Generator
$ MinGen\Sigma^* $
Left Ideal From Minimal Generator
$ \Sigma^\star MinGen $
Two-Sided Ideal From Minimal Generator
$ \Sigma^\star MinGen \Sigma^\star $
All-Sided Ideal From Minimal Generator
$ MinGen \shuffle \Sigma^\star $
Star of Intersection
$ (L_1 \cap L_2)^\star $
Star of Catenation
$ (L_1 L_2)^\star $
Star of Reversal
$ (L^R)^\star $
Reversal of Union
$ (L_1 \cup L_2)^R $
Reversal of Intersection
$ (L_1 \cap L_2)^R $
Reversal of Catenation
$ (L_1L_2)^R $