Jazyk obrázku - Picture language

v formální jazyk teorie, a obrazový jazyk je sada obrázky, kde obrázek je 2D pole znaků nad nějakou abecedou.

Například jazyk ${displaystyle L = left {a ^ {n, n + 1} uprostřed n> 0ight}}$ definuje jazyk obdélníků složených ze znaku ${displaystyle a}$. Tento jazyk ${displaystyle L}$ obsahuje obrázky jako:

${displaystyle {egin {pmatrix} a aend {pmatrix}}, {egin {pmatrix} a & a a & a a & aend {pmatrix}}, {egin {pmatrix} a & a & a a & a & a a & a & a a & a & aend {pmatrix}} v L}$

Studium obrazových jazyků bylo zpočátku motivováno problémy rozpoznávání vzorů a zpracováním obrazu, ale dvojrozměrné vzory se objevují také při studiu mobilní automaty a další modely paralelního výpočtu. Nějaký formální systémy byly vytvořeny k definování obrazových jazyků, jako jsou maticové gramatiky a systémy obkladů.

Reference

• D. Giammaresi, A. Restivo. Dvourozměrné jazyky. v A. Salomaa, G. Rozenberg (ed.), Příručka formálních jazyků, Sv. 3, Beyond Words, Springer, Berlin, 1997, str. 215 - 267.

Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.