Язык изображений

В формального языка теории язык изображений — это набор изображений , где изображение — это двумерный массив символов в некотором алфавите.

Например, язык $L=\left\{a^{n,n+1}\mid n>0\right\}$ определяет язык прямоугольников, состоящих из символа $a$. Этот язык $L$ содержит такие изображения, как:

${\begin{pmatrix}a\\a\end{pmatrix}},{\begin{pmatrix}a&a\\a&a\\a&a\end{pmatrix}},{\begin{pmatrix}a&a&a\\a&a&a\\a&a&a\\a&a&a\end{pmatrix}}\in L$

Изучение языков изображений изначально было мотивировано проблемами распознавания образов и обработки изображений, но двумерные образы также появляются при изучении клеточных автоматов и других моделей параллельных вычислений . некоторые формальные системы Для определения языков изображений были созданы , такие как грамматики массивов и системы листов.

Ссылки

• Д. Джаммарези, А. Рестиво. Двумерные языки . В: А. Саломаа , Г. Розенберг (ред.), Справочник по формальным языкам , Vol. 3, Beyond Words, Springer, Берлин, 1997, стр. 215–267.