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