Envase
La envoltura es una operación en cadenas de dos cabezas definidas de la siguiente manera:
Dejar y ser cadenas terminales encabezados por X y Y , respectivamente.
Concatenación
La concatenación es una familia de operaciones en n> 0 cadenas con encabezados, definidas para n = 1, 2, 3 de la siguiente manera:
Dejar , , y ser cadenas terminales encabezadas por x , y y z , respectivamente.
Y así sucesivamente para . Aquí se puede resumir el patrón simplemente como "concatenar cierto número de cadenas terminales m , con la cabeza de la cadena n designada como la cabeza de la cadena resultante".
Forma de reglas
Las reglas gramaticales principales se definen en términos de estas dos operaciones, y las reglas adoptan cualquiera de las formas
dónde , , ... son cada uno una cadena terminal o un símbolo no terminal.
Las gramáticas principales son capaces de generar el lenguaje. . Podemos definir la gramática de la siguiente manera:
La derivación de "abcd" es así:
Y para "aabbccdd":