Для чего людям потребовались формальные языки кратко