Дерево - бумага
Рыба - еда
Вода - питьё
Кислород - воздух
формальные тоесть официальные, Формальный язык в математической логике и информатике — множество конечных слов над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.