Естественные и формальные языки: как они используются в информатике