Instituto Tecnológico de Estudios

Superiores de Los Cabos

Ingeniería en Sistemas Computacionales

“Conceptos Básicos”

Asignatura: Lenguajes Autómatas

Docente: M.S.C José Ismael Ojeda Campaña
Grupo: 6IS-01M

Estudiante:
Guzmán Gómez Miguel Arturo
Número de control:
19380590

Los Cabos, B.C.S., 1/6/2022

 Índice

Contenido

Índice.......................................................................................................................................... 2
Desarrollo................................................................................................................................... 3
Árboles de derivación............................................................................................................. 3
Formas normales de Chomsky ............................................................................................... 5
Diagramas de sintaxis............................................................................................................. 7
Bibliografía ................................................................................................................................ 8
 Desarrollo

Investiga en la bibliografía sugerida los siguientes conceptos.

Árboles de derivación

Las investigaciones de Vázquez, UAEM Texoco nos dicen que, se mantiene la

propiedad de las derivaciones son representadas en forma arborescente.

Dando un ejemplo, se considera que la gramática produce el lenguaje de los

paréntesis bien balanceados, mantienen palabras como (()), ()(), (()())(), pero no a (() ni

)(;

1. S → SS

2. S → (S)

3. S → ()

Para comenzar con las reglas gramaticales de las reglas gramaticales:

1. S → aSb

2. S → ab

Se dice que la gramática de {𝑎𝑛 𝑏𝑛 } se presenta formalmente como:

✓ V representado como un alfabeto de variables

✓ ∑ representado como un alfabeto de constantes

✓ R representado como un conjunto de reglas

✓ S representado como un símbolo inicial, llamado elemento de V.

 Árboles de derivación

1. S → SS

2. S → (S)

3. S → ()

Usando esta gramatical, la derivación de la palabra es de la siguiente manera:

Se aprecia que la estructura se encuentra implícita en la

palabra (() ()) ().

El nombre de árboles por derivación se le asigna como

usarse extensivamente en los compiladores. Estos son declarados

como de vital importancia, y oscilan en la teoría de compiladores

de los lenguajes de programación.

Un árbol de derivaciones un grafo dirigido arborescente; definido

de la manera siguiente:

Definición

Sea G = (V, ∑, R, S) una GLC.

Entonces un arbol de derivación cumple las siguientes propiedades:

1. Cada nodo tiene una etiqueta.

2. La raíz tiene etiqueta.

3. La etiqueta de los nodosos debe de estar en V y las hojas ∑ 𝑈{𝜉}

4. Si un nodo n tiene etiqueta A, y los nodos 𝑛1 … 𝑛𝑚 son sus hijos (de

izquierda a derecha), con etiquetas respectivamente 𝐴1 , . . .. 𝐴𝑚 ∈ 𝑅.

Formas normales de Chomsky

Como ya conocemos, existen gramáticas de muy diferentes formas que generan

un mismo lenguaje.

Cuando se desea desarrollar demostraciones de ciertas propiedades de los

lenguajes incontextuales o se desea desarrollar algoritmos eficientes que operen sobre

gramáticas contextuales, interesa imponer ciertas restricciones en las formas de las

reglas de la gramática.

Es el mecanismo empleado para establecer la estructura

de un lenguaje, es decir las sentencias que lo forman.

Consiste de un conjunto de reglas sintácticas que

establecen la forma en la que se pueden combinar los

símbolos del alfabeto:

• ORACION es un SUJETO y un PREDICADO.

• SUJETO es una FRASE NOMINAL.

• FRASE NOMINAL es un GRUPO NOMINAL y un CALIFICATIVO que puede o no

estar.

• GRUPO NOMINAL es un ARTICULO que puede no estar y un NOMBRE.

• CALIFICATIVO es un ADJETIVO o una CONJUNCIÓN y una ORACION.

 FORMA NORMAL DE CHOMSKY

(FNC) (CHOMSKY, 1959)

Una gramática GLC, está en la FNC si cada una de sus producciones es de los tipos siguientes:

A → BC A→ a

Donde A, B y C son variables (en V) y a es un símbolo Terminal (en T).

Teorema:

Cualquier GLC sin λ-producciones puede ser transformada a una gramática equivalente

en donde las producciones son de la forma A → BC o A → a

Antes de aplicar el algoritmo hay que eliminar:

1- Producciones λ.

2- Producciones unitarias.

3- Símbolos inútiles.

Ejemplo de árboles de derivación

Dado el árbol de la palabra aabbaa

Derivación por la izquierda

𝑆 → 𝑎𝐴𝑆 → 𝑎𝑆𝑏𝐴𝑆 → 𝑎𝑎𝑏𝐴𝑆 → 𝑎𝑎𝑏𝑏𝑎𝑆 → 𝑎𝑎𝑏𝑏𝑎𝑎

Derivación por la derecha:

𝑆 → 𝑎𝐴𝑆 → 𝑎𝐴𝑎 → 𝑎𝑆𝑏𝐴𝑎 → 𝑎𝑆𝑏𝑏𝑎𝑎 → 𝑎𝑎𝑏𝑏𝑎𝑎

Diagramas de sintaxis

Los diagramas de sintaxis son aparecidos inicialmente construyendo un mecanismo

mediante el que aproximar por refinamientos sucesivos, el lenguaje admisible por unas

gramáticas.

Se trata de un grafo dirigido en el cual los

nodos representan los símbolos terminales y no

terminales de la gramática, y los arcos expresan las

secuencias en que pueden combinarse tales

símbolos para formar frases aceptables según la

gramática.

Cada diagrama de sintaxis representa un símbolo

no terminal (en el cual puede esparcir) de manera

que la gramática completa estará formada por tantos diagramas distintos e interrelacionados.

Ejemplo básico de diagramas de sintaxis

Diagrama sintáctico para expresiones

aritméticas
 Bibliografía

6.2.2 CLASIFICACIÓN DE LAS GRAMÁTICAS CHOMSKY. (2016, 18 noviembre).

matematicasxcomputacion.wordpress.com. Recuperado 21 de mayo de 2022, de

https://matematicasxcomputacion.wordpress.com/2016/11/18/6-2-2-clasificacion-de-

las-gramaticas-chomsky/

Gramáticas Libres de Contexto. (s. f.). ccc.inaoep.mx. Recuperado 21 de mayo de 2022, de

https://ccc.inaoep.mx/~emorales/Cursos/Automatas/GramsLibresContexto.pdf