Un lenguaje formal utilizado para describir imágenes. Las oraciones en este lenguaje están representadas por cadenas de terminadores, operadores de conexión y paréntesis que representan primitivas (ver gramática de patrones) Fue establecido por C. Shaw en 1969.

Primero seleccione dos puntos diferentes en cada primitiva y márquelos como cabeza ( h ) y cola ( t ), y luego especifique un operador unario ~ y un conjunto de operadores binarios {+, -, ×, *}, de modo que las primitivas o sub -Se pueden conectar patrones en la cabeza y la cola.

El significado de estos operadores se muestra en la Figura 1. ~ A a a aa craneocaudal invertido; a + b es b cola y una cabeza conectadas; a b es la b cabeza y una cabeza conectadas; a × b es b cola y una conexión de cola; a * b es la b cabeza y cola respectivamente una cabeza de conexión y una cola. Los resultados del cálculo de la cabeza y la cola obtenidos están conectados respectivamente a cuatro b una cabeza y una cola.

Por ejemplo, la parte superior de la Figura 2 , b , c, d representan primitivas, entonces la imagen debajo puede ser representada por ( b + ( b -c) + c + d + ( d × ( b )) + ( b )) * ( a + ( b + a + ( b )) * a + a ) descripción. Suponga que V T = { b | b es la primitiva} {+, -, ×, *, , (,)}, entonces la gramática de estructura de frase apropiada con V T como el conjunto de terminadores puede generar un lenguaje de descripción de imágenes.

Por ejemplo, la gramática libre de contexto G = ({ S, A, B }, { , b , +, ×, (,)}, P, S ), donde P = { S B + ( B + A ) × ( A ), A a + A, A , B b + B, B b }, se puede utilizar para describir caracteres de varios tamaños. El lenguaje de descripción de imágenes puede expresar algunas imágenes bidimensionales con cadenas, por lo que se ha utilizado ampliamente en el reconocimiento de patrones sintácticos.