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