Definice: Nechť S* značí množinu všech řetězců nad S. Každá podmnožina L Í S* je jazyk nad S.
Pozn.: S+ znační množinu  S* – {e}.
S*
L1, L2, L3, L4 jsou jazyky nad S
L1 = Æ
L2 = {e}
L4 = {x: 10 je podřetězec x}
...
L3 = {x: |x| = 1}
Příklad: Uvažujme S = {0, 1}:
000
e
01
00
10
11
001
010
100
...
011
111
0
1
Jazyky
 Myšlenka: L Í S*
11/20