Conceptos generales Chomsky: G3⊂G2⊂G1⊂G Definición ΣN - un conjunto de símbolos no terminales (variables) ΣT - un conjunto de símbolos terminales P - un conjunto de reglas de producción S∈ΣN un símbolo no terminal de ΣN La cuaterna (ΣT, ΣN , S, P) se llama gramática independiente del contexto (Gramáticas de tipo 2, según la clasificación de Chomsky) si todas las reglas de producción de P tienen la forma: A::= β, siendo A∈ΣN y β∈ Σ Todo lenguaje generado por una GIC G (se denota por L(G)) se llama Lenguaje independiente del contexto. Ejemplos: G1={{a,b},{S},S,{S::=aSb | ab}} G2={{a,b},{S},S,{S::=aSbb | abb}} G3={{a,b},{S},S,{S::=a | bS }} G4={{a,b},{S},S,{S::=aSb | SS | λ}} G5={{a,b},{S},S,{S::=aS | Sb | a | b}} Motivación Representación de la sintaxis de lenguajes de programación; descripción de la estructura de lenguajes de marcado (DTD en XML, …); generadores de compiladores (Yacc, …), etc. Justificación Sea la ...
Comentarios
Publicar un comentario