Двійковий код – це рядок символів, Що складаються з \ (0 \) і \ (1 \). Як і кожна мова (формальна або природна), двійковий код має свій алфавіт та потужність алфавіту.
Двійковий алфавіт – це алфавіт, містить лише два символи. Подання інформації за допомогою двійкового алфавіту називають двійковим кодуванням, а його результат – двійковим кодом.
Алфавіт формального мови – безліч атомарних (неподільних) символів будь-якого формального мови (іноді їх називають літерами за аналогією з природними алфавітами мов чи символами). Зі символів алфавіту формального мови будуються слова, а завданням формальної граматики – допустимі вирази мови.