Какие есть формальные языки и для чего они предназначены?

Формальный язык в математической логике и информатике — множество конечных слов над конечным алфавитом.
Формальный язык однозначен и не допускает толкований. При выполнении его инструкций результат также однозначен, что имеет огромное значение при производстве вычислений и построении числовых моделей, что позволяет судить о правильности их построения.
Ключевое слово ОДНОЗНАЧНОСТЬ!