Формальные языки предназначенные для записи компьютерных программ