ciąg „10 200 317 852”, zawierający 14 symboli, należy do języka ciągów liczb naturalnych zapisanych w postaci pozycyjnej, za pomocą cyfr arabskich oraz spacji.
Metody definiowania języków Dla każdego alfabetu (nawet jednoelementowego), liczba słów nad tym alfabetem jest nieskończona i przeliczalna (oznaczana ). Liczba zbiorów słów (liczba języków), jest zatem nieprzeliczalna. Ponieważ każda metoda opisania może objąć tylko przeliczalną liczbę elementów, nie istnieje metoda opisania wszystkich języków nad żadnym niepustym alfabetem. Dlatego opisuje się jedynie wybrane klasy języków. Przykładowo hierarchia Chomskiego precyzuje cztery klasy języków, w zależności od tego jak złożona jest gramatyka formalna opisująca dany język.
Gramatyki formalne
Gramatyki formalne są najpopularniejszym sposobem opisywania języków formalnych. Opis w postaci gramatyki składa się z: Określenia symboli alfabetu, na którym zbudowany jest język. Są to tzw. symbole terminalne. Określenia dowolnego skończonego zbioru symboli pomocniczych, tzw. symboli nieterminalnych Określenia jednego symbolu startowego, należącego do symboli nieterminalnych. Określenia pewnego skończonego zbioru reguł przepisywania (zwanych też produkcjami).