Una gramática ("G") desde el punto de vista de la teoría de autómatas es un conjunto finito de

reglas que describen toda la secuencia de símbolos pertenecientes a un lenguaje específico L.

Dos gramáticas que describan el mismo lenguaje se llaman gramáticas equivalentes

LENGUAJE: Un lenguaje formal (en adelante, simplemente «lenguaje») es un conjunto, finito o

infinito, de cadenas definidas sobre un alfabeto finito. Definición 1.1 (Alfabeto). Un alfabeto es un
conjunto finito de símbolos.

La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales

y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de
reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
Alfabeto: conjunto no vac´ıo y finito de s´ımbolos. A estos s´ımbolos tambi´en se les suele llamar
letras del alfabeto. Se denota con la letra griega Σ. Ejemplos:

Σ1 = {a,b,c,...,z} Σ2 = {0,1}

Palabra: secuencia finita de s´ımbolos de un alfabeto. Lo correcto es hablar de “palabras definidas

sobre un alfabeto”. Habitualmente utilizaremos en nuestros ejemplos las ´ultimas letras min
´usculas de nuestro alfabeto (x, y, z) para denotar a las palabras. Ejemplos:

x = casa es una palabra definida sobre el alfabeto

Σ1 y = 010100 es una palabra definida sobre el alfabeto Σ2

http://dehesa.unex.es/bitstream/handle/10662/2367/978-84-691-6345-0.pdf?sequence=1