Академический Документы
Профессиональный Документы
Культура Документы
Superior de Jerez
FECHA: 24/04/2018
Materia: Autómatas 1
Como toda gramática se definen mediante una cuádrupla G = (N, T, P, S), siendo
A ∈ N ∪ {S}
A→ω
ω ∈ (N ∪ T)*
Además, G no contiene símbolos inútiles. Una gramática así se dice que está en la
forma normal de Chomsky.
Toda producción de dicha gramática es de la forma A→a, que es una forma
permitida por la FNC, o tiene un cuerpo de longitud 2 o superior. Nuestras tareas
son entonces:
a) Conseguir que todos los cuerpos de longitud 2 o superior estén formados sólo
por variables.
Para el paso (b), tenemos que descomponer dichas producciones A→B1B2 · · ·Bk,
para k ≥ 3, en un grupo de producciones con dos variables en cada cuerpo.
Introducimos k−2 nuevas variables, C1,C2, . . . ,Ck−2. La producción original se
reemplaza por las k−1 producciones:
Bibliografía
Luis, J. A. (1995). Teoria de automatas y lenguajes formales. Madrid, España: PRENTICE HALL.