Definice: Jazyk L je konečný, pokud L obsahuje konečný počet řetězců, jinak je nekonečný.
Pozn.: Nechť S je množina; card(S) značí počet prvků v S
Příklad:
• L1 = Æ je konečný jazyk, protože card(L1) = 0
• L2 = {e} je konečný jazyk, protože  card(L2) = 1
• L3 = {x: |x| = 1} = {0, 1} je konečný jazyk,
   protože card(L3) = 2
• L4 = {x: 10 je podřetězec x} = {10, 010, 100, … }
                                                    je nekonečný jazyk
Konečné a nekonečné jazyky
Myšlenka: Konečný jazyk obsahuje konečný počet řetězců
12/20