User:SpeKter

SpeKter - a visible incorporeal spirit, esp. one of a terrifying nature; ghost; phantom; apparition.

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 $$L = \left \{ a^{n,n} | n > 0 \right \} $$ defines the language of squares comprised of the character $$a$$. The language $$L$$ contains pictures such as:

a a a     a a   a a a $$ \in L $$ a, a a , a a a

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.