絵文字言語

形式言語理論において、画像言語とは画像の集合であり、画像とは何らかのアルファベット上の文字の2次元配列である。

例えば、言語${\displaystyle L=\left\{a^{n,n+1}\mid n>0\right\}}$文字で構成される長方形の言語を定義します${\displaystyle a}$この言語${\displaystyle L}$以下のような画像が含まれています。

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

画像言語の研究は、当初はパターン認識や画像処理の問題に端を発していたが、二次元パターンはセルオートマトンやその他の並列計算モデルの研究にも登場する。配列文法やタイルシステムなど、画像言語を定義するための形式体系もいくつか構築されている。

• D. Giammaresi、A. Restivo。 「二次元言語」。A . Salomaa、G. Rozenberg (編) 『形式言語ハンドブック 』第3巻「言葉を超えて」、Springer、ベルリン、1997年、 215-267頁。