Какой язык называется формальным?
Формальный язык-множество конечных слов(строк)над конечным алфавитом
Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом