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
Průnik jazyků
L1 Ç L2 = {00, 01}
00
01
Myšlenka: Průnik L1 a L2 je L1 Ç L2
Definice: Nechť L1 a L2 jsou dva jazyky nad S.
Průnik jazyků L1 a L2, L1 Ç L2, je definován:
L1 Ç L2 = {x: x Î L1 a x Î L2}
14/20