Język obrazu

W formalnej teorii języka język obrazkowy to zbiór obrazów , gdzie obraz jest dwuwymiarową tablicą znaków nad jakimś alfabetem.

Na przykład język ${\ Displaystyle L = \ lewo \ {a ^ {n, n + 1} \ środek n> 0 \ prawo \}}$ definiuje język prostokąty złożone z znaku za $\ displaystyle a}$ . Ten język zawiera obrazy takie jak: ${\ displaystyle L}$

$a \ koniec {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}$

Badanie języków obrazowych było początkowo motywowane problemami rozpoznawania wzorców i przetwarzania obrazu, ale wzorce dwuwymiarowe pojawiają się również w badaniu automatów komórkowych i innych równoległych modeli obliczeniowych. Stworzono pewne systemy formalne w celu definiowania języków obrazkowych, takie jak gramatyki tablicowe i systemy kafelkowania.

• D. Giammaresi, A. Restivo. Języki dwuwymiarowe . W: A. Salomaa , G. Rozenberg (red.), Handbook of Formal Languages , tom. 3, Beyond Words, Springer, Berlin, 1997, s. 215–267.