Если у тебя в Word или Exel, отключен защещённый и ты отправишь этот файл другому пользователю, будет ли он отображаться у него?

Формализованный  (формальный)  язык –– язык, характеризующийся точными правилами построения выражений и их понимания. он строится в соответствии с четкими правилами, обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изучаемой предметной области (моделируемых объектов).в отличие от естественных языков формальным языкам присущи четко сформулированные правила семантической интерпретации и синтаксического преобразования используемых знаков, а также то, что смысл и значение знаков не изменяется в зависимости от каких-либо прагматических обстоятельств (например, от контекста). большинство формальных языков (созданных конструкций) строится по следующей схеме. сначала выбирается  алфавит, или совокупность исходных символов, из которых будут строиться все выражения языка; затем описывается  синтаксисязыка, то есть правила построения осмысленных выражений. буквами в алфавите формального языка могут быть и буквы алфавитов естественных языков, и скобки, и специальные знаки и т.п. из букв, по определенным правилам можно составлять  слова и выражения. осмысленные выражения получаются в формальном языке, только если соблюдены определенные в языке  правила  образования. для каждого формального языка совокупность этих правил должна быть строго определена и модификация любого из них приводит чаще всего к появлению новой разновидности (диалекта) этого языка.формальные языки широко применяются в науке и технике. в процессе научного исследования и практической деятельности формальные языки обычно используются в тесной взаимосвязи с естественным языком, поскольку последний обладает гораздо большими выразительными возможностями. в то же время формальный язык является средством более точного представления знаний, чем естественный язык, а следовательно, средством более точного и объективного обмена информацией между людьми.формальные языки часто конструируются на базе языка . веком бурного развития различных формальных языков можно считать xx век. с точки зрения информатики, среди формальных языков наиболее значительную роль играют формальный  язык логики(язык логики) и  языки программирования.