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