Слово (синтагма, предложение, текст) как знак располагает такими качествами, которые позволяют ему легко изменяться морфологически и сохранять при этом свою базисную структуру, что представляется весьма важной закономерностью языковых систем. Слово легко принимает морфологические изменения, накладываемые на него правилами грамматики, но, что не менее важно, никогда не изменяется до неузнаваемости. Всегда в полученном результате можно распознать первоначальную (словарную) форму слова и ту морфологическую модификацию, которую слово получило. Это позволяет в каждый данный момент видоизменения системы следить за перипетиями каждого знака и за степенью его соответствия как первоначальной форме, так и смысловым нюансам. Рассмотрение в качестве знака морфемы вызвало бы сдвиг во всех построениях в сторону абстракции самого знака, его большей отдаленности от обозначаемого, его способности "оставаться самим собой" при всех грамматических трансформациях и, главное, в возможностях следить за операциями с обозначаемым явлением в процессе работы системы. По-видимому, в этом заключается еще одно характерное качество знака: с одной стороны, он должен быть достаточно удален от обозначаемого предмета, чтобы активно включиться в системные трансформации, а, с другой стороны, достаточно однозначно указывать на предмет, чтобы постоянно отражать обозначаемое в любых своих трансформациях.
В формальных системах уровни ниже лексического (или его аналога) обычно не выделяются. Помимо чисто технических причин, на это есть, видимо, и причины концептуальные.
Формальный язык может быть, как правило, рассмотрен как метаязык по отношению к некоторому объектному языку. Но с метаописательной точки зрения морфема не может выступать в качестве предельной единицы объектной знаковой системы, поскольку является таким минимальным отрезком текста, на котором сохраняются сущностные признаки, характерные лишь для морфологического уровня языка. Этот уровень не может быть признан релевантным для описания функционирования языка как знаковой системы, т.к. синтагматика обращения морфем в речевых цепочках заранее исключает применение в метаописании принципа, согласно которому одному кванту обозначения соответствовал бы только один квант значения. Поэтому последовательно логико-ориентированные грамматики - например, система Ельмслева - оказались неприменимыми к описанию естественных языков.
С точки зрения лингвистической типологии формальные языки являются языками аналитического строя. Их индекс Гринберга (соотношение в тексте количества минимальных значимых отрезков, т.е. морфем, и количества словоупотреблений) равен единице; иными словами, термины формальных языков не содержат внутренних частей, конституирующих их значение таким образом, каким это происходит с терминами естественных языков, состоящими более чем из корня. Как правило, они не содержат также флексий. Возможно, снятие полисемии в формализованных языках связано именно с редуцированием морфологии, обеспечивающим, таким образом, прозрачность композициональных смыслов в сложных знаках (синтагмах, предложениях, текстах), и, за счет этого, однозначность контекстов - которая, в свою очередь, ставит более жесткие ограничения возможным вариантам интерпретации.
Поэтому языковым знаком следует, при подобном рассмотрении, признать не только не всякую предельную единицу языковых уровней, но и не всякую значимую единицу языка, а лишь обладающую некоторой внутриязыковой автономностью. Причем дело тут не в "самости" или "самоидентичности" этой единицы, но в ее формальной полноте, цельнооформленности, функциональной внутрисистемной нагруженности. Значимость знака, таким образом, заключается не только в его способности указать на предмет, но и в его способности сообщить нечто об этом указании, о его характере и/или связи с другими указаниями.
Таким образом, знак выступает линейной единицей языка, которая может быть употреблена отдельно от других единиц речи без потери своей референции. В современной лингвистике этому соответствует понятие "высказывание", определяемое чисто формально как "речевое проявление, способное выступать самостоятельно, т.е. между двумя главными паузами; ... покрывающее такие речевые проявления, как словоформа, словосочетание, предложение, фраза, период, абзац и т.д.", где словоформа - минимальное высказывание, не содержащее других высказываний55. Эта дефиниция восходит к позиции Л. Блумфилда, определившего слово как минимальную свободную форму, а морфему как несвободную, связанную форму. Признак свободы/связанности проверяется возможностью языковой формы (единицы) быть самостоятельным высказыванием. Поэтому термины "знак" и "высказывание" будут далее пониматься как синонимы.