Формальные языки - языки, в которых осмысленные сообщения содержат символы конечного алфавита, строятся и интерпретируются по определённым чётким правилам.
Примеры формальных языков: языки программирования, язык логики. Можно построить и свой формальный язык: например, будем бросать монетку и приписывать к строчке О, если выпал орёл, и Р, если выпала решка. Тогда множество строк, содержащих О и Р будет формальным языком, в котором, например, ОРР будет означать, что в первый раз выпал орёл, а потом два раза - решка.