что такое формальные языки кратко

Ну если кратко, то формальный язык - язык который используют для упрощения чего либо, например по алгебре вы используете формулы, например d = b² - 4ac - это пример математического языка