Lenguajes formales - Facultad de Informática - Universidad ...

Gramáticas formales
Las gramáticas formales se definen con una tupla
siendo:
T el alfabeto de símbolos terminales
(Símbolos que forman parte directamente de las cadenas del lenguaje)
N el alfabeto de símbolos no terminales
(Símbolos más abstractos que representan posibles partes de las cadenas del lenguaje)
n 0 ∈ N, el no terminal inicial o axioma
P el conjunto de reglas de producción o producciones de la
gramática
Puede representarse como α x n α y → β ó α x n α y ::= β
donde n ∈ N y α x , α y , β ∈ (T ∪ N)*
Procesadores de Lenguaje
Ingeniería en Informática R.7