In formal language theory, a picture language is a set of pictures, where a picture is a 2D array of characters over some alphabet.

For example, the language ${\displaystyle L=\left\{a^{n,n+1}\mid n>0\right\}}$ defines the language of rectangles composed of the character ${\displaystyle a}$. This language ${\displaystyle L}$ contains pictures such as:

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

The study of picture languages was initially motivated by the problems of pattern recognition and image processing, but two-dimensional patterns also appear in the study of cellular automata and other parallel computing models. Some formal systems have been created to define picture languages, such as array grammars and tiling systems.

• D. Giammaresi, A. Restivo. Two-dimensional languages. In A. Salomaa, G. Rozenberg (Eds.), Handbook of Formal Languages, Vol. 3, Beyond Words, Springer, Berlin, 1997, pp. 215–267.

This formal methods-related article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e