Definice: Nechť L1 a L2 jsou dva jazyky nad S. Sjednocení jazyků L1a L2 , L1 È L2, je definováno:
L1 È L2 = {x: x Î L1 nebo x Î L2}
Příklad: Uvažujme jazyky L1= {0, 1, 00, 01},  L2= {00, 01, 10, 11}
Určeme:  L1 È L2
L1
L2
0
1
00
01
10
11
Sjednocení jazyků
Myšlenka: Sjednocení L1 a L2 je L1 È L2
L1 È L2 = {0, 1, 00, 01, 10, 11}
0
1
00
01
10
11
13/20