Definice: Nechť L1 a L2 jsou dva jazyky nad S.
Rozdíl jazyků L1 a L2, L1 – L2, je definován:
L1 – L2 = {x: x Î L1 a 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
Rozdíl jazyků
Myšlenka: Rozdíl jazyků L1 a L2 je L1 – L2
L1 – L2 = {0, 1}
0
1
00
01
15/20