ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ String
Definition D937
Set of strings
Also known as
Set of words, Set of expressions, Kleene star
Children
▶ D3517: Language