В формальном языке теории язык изображений представляет собой набор изображений, где изображение - это двумерный массив символов над некоторым алфавитом.
Например, язык определяет язык прямоугольников, состоящих из символа . Этот язык содержит такие изображения, как:
Изначально изучение языков изображений было мотивировано проблемы распознавания образов и обработки изображений, но двумерные образцы также появляются при исследовании клеточных автоматов и других моделей параллельных вычислений. Некоторые формальные системы были созданы для определения языков изображений, например, грамма массива RS и черепичные системы.