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

Más sobre gramáticas formales (incontextuales)
Las cadenas ∈ (T ∪ N)* se llaman formas sentenciales
Las cadenas ∈ T* se llaman sentencias o frases
Una gramática incontextual G genera en (T ∪ N)*
relaciones de derivación inmediata ⇒ G
α ⇒ G β (β es derivable inmediatamente de α) si y sólo si se
dan estas tres condiciones:
α ≡ α onα 1
β ≡ α oβ 0α 1
n → β 0 ∈ P
siendo α o, α 1 y β 0 ∈ (T ∪ N)* y n ∈ N
Las relaciones de derivación ⇒ G * son el resultado de
hacer el cierre reflexivo-transitivo de ⇒ G
α ⇒ G * β (β es derivable de α) si y sólo si existe una
secuencia de derivaciones inmediatas que nos permita llegar
a β partiendo de α
Procesadores de Lenguaje
Ingeniería en Informática R.17