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

Más sobre gramáticas formales (incontextuales)
El lenguaje generado por una gramática G es L(G)
L(G) = {α tal que α∈ T* y n 0 ⇒* G α }
(Todas las posibles sentencias derivables del axioma de la gramática n 0 )
Si α ⇒ G * β puede haber sólo una secuencia de
derivación inmediata (derivación de β desde α) o
varias posibles
Cada una se representa así: α ⇒ G α o , α o ⇒ G α 1 , …, α n ⇒ G β
O en forma compacta: α⇒ G α o ⇒ G α 1 ⇒ G …. ⇒ G β
Derivación por la izquierda: aquella en la que cada
derivación inmediata α x ⇒ G α y usa la producción n → β 0 ∈ P
para el n situado lo más a la izquierda posible en α x
Derivación por la derecha: aquella en la que cada
derivación inmediata α x ⇒ G α y usa la producción n → β 0 ∈ P
para el n situado lo más a la derecha posible en α x
Procesadores de Lenguaje
Ingeniería en Informática R.19