В рамках общей теории знаков может быть произведен их сравнительный анализ и построена типология знаков, учитывающая также дифференциацию их функций в знаковых системах и знаковых конструкциях.
Взаимоотношения знаков в семиотических системах, регулирующих правила их образования, интерпретации и использования, образуют уже предмет семиологии знаковых систем. В этом разделе рассматриваются возможные способы организации таких систем: состав их элементов, типы структур, в которые эти элементы могут включаться, а также функции, которые могут выполняться элементами, структурами и образованными ими знаковыми системами в целом. В теории знаковых систем, в частности, строятся теоретические модели иерархических структур, образуемых отношениями между единицами разных уровней, а также синтагматических и парадигматических структур, создаваемых отношениями между единицами одного и того же уровня.
Семиология знаковых систем включает в себя также сравнение и сопоставление их структурных и функциональных особенностей. Здесь рассматриваются основания дифференциации этих систем, и строится их типология. В результате их сравнения могут быть установлены, в частности, различия между системами, ориентированными на пространственный и временной каналы связи, и соответственно, основания для различения семиологии пространства и семиологии времени.
Выявление особенностей знаковых систем может приближать семиологическую теорию к их семиографическим исследованиям. Так происходит в случаях, когда «форма», заданная знаковыми системами, рассматривается с учетом того телесного или психологического «субстрата», на который эти системы ориентированы. Таковы, например, с одной стороны, общее языкознание, а с другой – такие теории невербальных знаковых систем, как кинесика, гаптика, окулесика, проксемика и т. п. (см.: Крейдлин 2002). Эти теории остаются, однако, в рамках семиологии в той мере, в которой они рассматривают общие принципы организации и функционирования знаковых систем своего типа.
Семиология знаковых конструкций тесно связана с теорией знаков и теорией знаковых систем, но имеет основания быть выделенной в самостоятельный раздел. В отличие от теории знаков, ее интересуют не общий механизм знаковой связи, а способы создания из значимых единиц более или менее сложных конструкций – от простейшего высказывания, роль которого в предельном случае может выполнять употребление одного знака, до как угодно сложно организованных сообщений. В отличие от теории знаковых систем, она занимается не «арсеналом» знаковых средств, а схемами их применения при построении знаковых конструкций различных типов. Единицы одной и той же знаковой системы могут быть отобраны и связаны различным образом так же, как и, с другой стороны, одна знаковая конструкция может оказаться гетерогенной, если в ее построении и осмыслении участвует сразу несколько семиотических систем. Поэтому описывающая эти построения теория несводима ни к теории знака, ни к теории знаковых систем и выделяется в особый раздел семиологии.