Cуществует ли классификация мощностей семантик формальных языков, аналогичная иерарихии Хомского для классификации формальных грамматик. Что вообще человечеству известно о классификации изобразительных средств формальных языков?

Обсуждение на эту тему в ru_math не привело к содержательным выводам, разве что к тому, что большинство людей строят описание описание семантик как разного рода логико-подобные метаязыки.