■
■ Założenie:
■ Elementy zbioru A nazywamy symbolami, znakami lub literami alfabetu
■ Słowem nazywamy ciąg symboli alfabetu
■ Zbiór wszystkich napisów, jakie można utworzyć ze znaków alfabetu A, oznaczamy A*
■ Każdy podzbiór zbioru A * to pewien język
■ Wniosek:
■ język to zbiór napisów złożonych ze znaków danego alfabetu