FISI- Huapaya, Mayor, Valdiviezo,Villar

LENGUAJES
TEORIA DE
GRAMATICA
Una gramática G es una estructura
4-truple
G(VN , VT, S, P)

FISI- Huapaya, Mayor, Valdiviezo,Villar

VN ={ conjunto de símbolos no terminales}

VT ={conjunto de símbolos terminales}

S ={Símbolo especial de inicio}

P ={conjunto de reglas de producción}

P: β
(secuencia de símbolos terminales y no terminales – sstn)
VOCABULARIO
Conjunto de símbolos terminales, y no terminales para
generar reglas de producción.
V= VN U VT

FISI- Huapaya, Mayor, Valdiviezo,Villar

VN ∩ VT = Ø
VN ={ <A>, <B>, <C>,….,<S>,….<Z>}

VT ={a, b, c, …., z, 0, 1, +, -, *, /, cero, uno}

V*=(VN U VT )* contiene cadena vacía

V+={VN U VT }+ no contiene cadena vacía

ALFABETO
Conjunto de símbolos terminales para generar una gramática
o elementos de un lenguaje
{an bm / n>0; m>0}

FISI- Huapaya, Mayor, Valdiviezo,Villar

an bm
a b
aaa b L(G) ={ab, aaab, abbb, aaabbb,…}
a bbb
aaa bbb
CONCATENACIÓN DE CADENAS
A1=A0 A
A2=A1 A
A3=A2 A

FISI- Huapaya, Mayor, Valdiviezo,Villar

.
.
.
Ak=Ak-1 A
A1 U A2 U A3 U …U Ak =  =cadena

 = C1 U C2 U … U Cn
C1 = abb<A>
C2 = bbcc<A><B>
C = C1 U C2  C = abb<A> bbcc<A><B>
LONGITUD DE UNA CADENA
Es el número de símbolos que componen una cadena.ICI=10
CLASIFICACION DE LA GRAMATICA SEGÚN NOAM
CHOMBYK(1928-filadelfia)
TIPO GRAMATICA REGLAS

FISI- Huapaya, Mayor, Valdiviezo,Villar

T0 Con estructura de frase <frase>  <frase><frase>
sin restricciones

T1 SENSIBLE AL <A>β  <δ>β

CONTEXTO A ε VN
, β ε V* , δ ε V+
T2 LIBRE DE CONTEXTO <A>  <δ>β
A ε VN
, β ε V* , δ ε V+
T3 REGULAR DE <A>  a<B>
KLENNE <B>  a / A,B ε VN , a ε Vt
T0 Gramática con estructura de frase sin Rest.
P:
 <oración>  <sujeto><predicado>
 <sujeto>  <artículo><sustantivo><adjetivo>

 <predicado>  <verbo><adverbio>

 <articulo>  <el>

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <sustantivo>  <alumno>

 <adjetivo>  <decepcionado>

 <verbo>  <toma>

 <adverbio>  <mucho>

ARBOL:

<el>
T1 GRAMATICA SENSIBLE AL CONTEXTO

P:

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <A> <B>  <A> <C> <B>
 <A>  a<A><B><C>
 <A>  ab<C>
 <C><B>  <B><C>
 b<B>  bb
 b<C>  bc
 c<C>  cc
T2.-Gramática libre al contexto
P:
 <A>  ab<A><B>
 <A>  ab<A>

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <B>  cd<B>
 <A>  a
 <B>  b

ab cd
b

A B

a b
T
T3 G: REGULAR DE KLENNE
P:
 <S>  a<A>
 <S>  b<A>
 <A>  a<B>

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <A>  b<B> Estado de
 <A>  a a Aceptación
 <B> a<A>
 <B> b<B>
A
 <A> Є
S
b a a
b

B
Estado de T
Atrapamiento
b
DERIVACIÓN : Definición
Es una serie de sustituciones de símbolos no terminales de una sstn, aplicando las reglas de
producción de una gramática dada o generada.
Ej.: Dada las reglas de producción derivar usando las reglas: 122344455677
P:
 <S>  <A>
 <A>  a<A><B><C>
 <A>  ab<C>

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <C><B>  <B><C>
 b<B>  bb
 b<C>  bc
 c<C>  cc
<S>
 1=> <A>
 2=> a<A><B><C>
 2=> aa<A><B><C> <B><C>
 3=> aa ab<C><B> <C> <B><C>
 4=> aaab<B><C> <C><B> <C>
 4=> aaab<B> <C><B> <C><C>
 4=> aaa b<B> <B><C><C><C>
 5=> aaab b<B> <C><C><C>
 5=> aaabb b<C><C><C>
 6=> aaabbb c<C><C>
 7=> aaabbbc c<C>
 7=> aaabbbccc
MÉTODO DEL ÁRBOL DE DERIVACIÓN
Es una representación grafica de la derivación
Ejemplo: derivar (3 3 2 2 4)
P:
 <S>  a<A>b<S>

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <S>  b
 <A>  <S><A>c
 <A>  Є
Derivar: b<A>c, para obtener bbbccc:
b<A>c

<S> <A> c

b <S> <A> c

b Є

b b b c c c
 FISI- Huapaya, Mayor, Valdiviezo,Villar
LENGUAJE
FORMAL
Es el conjunto de secuencias de símbolos
terminales( sst ) del Alfabeto.
 LENGUAJE GENERADO POR UNA
GRAMÁTICA : L(G)
Definición.- Dado una gramática G, el L(G) es el conjunto de secuencias de
símbolos terminales que pueden ser derivados a partir del símbolo inicial
<S> ; L(G)={x/x ε Vt* y <S> ===>* x }
1. L(G)= {an b / n>0}

FISI- Huapaya, Mayor, Valdiviezo,Villar

P:
 <S>  a<A> ab
 <A>  a<A> aab
 <A>  b<B> aaab
 <B>  Є aaa…b
o’
P:
 <S>  <A>
 <A>  a<A> Tipo 2
 <A>  ab
o’
P:
1. <S>  <A><B>
2. <A>  a<A>
Tipo 2
3. <A>  a
4. <B>  b
GRAMÁTICA Vs MAQUINA
a/1
a/0
A
S

FISI- Huapaya, Mayor, Valdiviezo,Villar

b/0
T a/0 b/0
B
b/0

a/1
a/0
q1
q0

b/0
T a/0 b/0
q2
b/0
LENGUAJE GENERADO POR UNA
GRAMÁTICA
2.- L(G)={an b/n≥0}
Є b
P: ab
 <S>  <A><B> aab

FISI- Huapaya, Mayor, Valdiviezo,Villar

aaab
 <A>  a<A> aaa..aab
 <B>  b
 <A>  Є

3.- L(G)={(ab)+} ab
aab
P:
aaab
 <S>  a<A> aaa..ab
 <A>  a<A> abb
 <A>  b<B> abbb
abbb…b
 <B>  b<B> aaabbb
 <B>  Є
GRAMÁTICA Vs MAQUINA
a/0
a/0
S
A

b/0

FISI- Huapaya, Mayor, Valdiviezo,Villar

b/1
T a/0 B

b/1
a/0

q0 a/0
A

b/0

b/1
T a/0 q2

b/1
LENGUAJE GENERADO POR UNA
GRAMÁTICA
4.- L(G)={amban/m>0, n>0}
P:

FISI- Huapaya, Mayor, Valdiviezo,Villar

 <S>  a<A>
 <A>  a<A>
aba
 <A>  b<B>
aaba
 <B>  a<B> aaaba
 <B>  a aaa..aba
abaa
abaaa
abaaa…a
aaabaaa
GRAMÁTICA Vs MAQUINA
a/0
a/0
S
A
b/0
b/0

FISI- Huapaya, Mayor, Valdiviezo,Villar

b/0
T a/0 B

a/0
a/0

q0 a/0
q1
b/0
b/0
b/0
T a/0 q2
a/0
 LENGUAJE GENERADO POR UNA
GRAMÁTICA

Ejercicios:

FISI- Huapaya, Mayor, Valdiviezo,Villar

 L(G)={0+ 1+}

 L(G)={1* 0*}
 L(G)={anbn/n≥ 0}
 L(G)={a2na3n/n>0}
 L(G)={ambncmdn/m>0, n>0}
GRAMÁTICA AMBIGUA
Cuando la gramática contiene una secuencia de símbolos terminales con
mas de un árbol de derivación.
<S>
Ejemplo (1 2 5 4 5) ( 1 3 2 5 5 )
P:
a <A> <B>

FISI- Huapaya, Mayor, Valdiviezo,Villar

<S>  a<A><B>
<A>  a<B> <A>
b a
<A>  <A>b a <B>
<B>  b<B>
a
<B>  a
<S>
*Derivar: aaaba aaaba

a <A> <B>

<B>
a <B>
b
a
a

aaaba
 ANÁLISIS SINTÁCTICO
Es aquel que reconoce, si una secuencia de símbolos
terminales (sst) pertenece o no al lenguaje generado por

FISI- Huapaya, Mayor, Valdiviezo,Villar

una gramática-”Método de Pilas”
ejemplo
P:
 <S>  c<A><B>
 <A>  b<B>a
 <B>  c<B>
 <B>  a

¿ cbaaa Є L(G) ?
 ANÁLISIS SINTÁCTICO
baaa
c cbaaa
<A>
<S> <A>
<B>
<B>

baaa aaa
b

FISI- Huapaya, Mayor, Valdiviezo,Villar

<A> <B> <B>
a a
<B>
<B> <B>

<B> a aaa aa
a a a
<B> <B> <B>

aa
a
a a
<B>
<B> <B>

<B> a Є
 cbaaa Є L(G)
CONSTRUCCIÓN DEL ANÁLISIS SINTÁCTICO
–diag. De Conway
R1. La Producción  β1
  β2
  β3
S.r.   β1 / β2 / β3

FISI- Huapaya, Mayor, Valdiviezo,Villar

R2. Cada ocurrencias de un Terminal X
X
S.r.
R3. Cada ocurrencia de un no Terminal A
A
S.r.
R4. Una Producción β1

  β1 / β2
S.r.  β2

R5. Una Producción

  β1 . Β2  β1 β2

S.r.  
R6. Una Producción S.r.
  {β} β
 CONSTRUCCIÓN DEL ANÁLISIS SINTÁCTICO
REGLAS
Ej.: P:
 <A>  x/(<B>)
 <B>  <A><C>
 <C>  {+<A>}

FISI- Huapaya, Mayor, Valdiviezo,Villar

1.- A x

( β2 )
2.-
B A C

3.- C

β +
En general
A x

( A )
A +
 CONSTRUCCIÓN DEL ANÁLISIS
SINTÁCTICO REGLAS

Ejercicios:

FISI- Huapaya, Mayor, Valdiviezo,Villar

Hacer el análisis sintáctico.
P.
 <A>  (<A>)/(<B>)

 <A>  <B><F><C>

 <F>  {+x}

 <B>  <D><G><E>

 <G>  {*y}
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
Es una máquina de estructura algebraica abstracta de memoria
interna primitiva que permite simular el comportamiento de una
maquina real

FISI- Huapaya, Mayor, Valdiviezo,Villar

M (E, S, Q, q0 , f, g)
donde: E={conjunto de entradas} a, b, c….0,1,2,3..
S={conjunto de salidas} 0=no aceptada,1= aceptada
Q={conjunto de estados} q1, q2, q3,...
q0 = estado especial de inicio
f = función de transición o de estado siguiente
f: Q x E  Q a
(q1, a)  f(q1, a) = q2 q1 q2

g: función de salida o de aceptación

g: Q x E  S
(q, a)  q(q1, a)=Z
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
TABLA DE TRANSICIÓN
Q E a b

FISI- Huapaya, Mayor, Valdiviezo,Villar

q0 q0/0 q1/1
q1 q2/0 q1/0
q2 q2/1 q0/0

f: Q*E Q g: Q*E  S
f(q0, a) = q0 g(q0, a) = 0  q0/0
f(q0, b) = q1 g(q0, b) = 1  q1/1
f(q1, a) = q2 g(q1, a) = 0  q2/0
f(q1, b) = q1 g(q1, b) = 0  q1/0
f(q2, a) = q2 g(q2, a) = 1  q2/1
f(q2, b) = q0 g(q2, b) = 0  q0/0
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
A) MÁQUINA DE MOORE

FISI- Huapaya, Mayor, Valdiviezo,Villar

a/0 b/0
b/1

q0 q1

a/0
b/0 q2

a/1
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
a
A. MÁQUINA DE MEALY
b

FISI- Huapaya, Mayor, Valdiviezo,Villar

a q2/1

a b
q2/0
a b
q0/0
a q1/0
b
q1 /1 b
 MAQUINA DE MOORE
A. DIAGRAMA DE FLUJO
INICIO

FISI- Huapaya, Mayor, Valdiviezo,Villar

q0
b
b P aa

Z= 1 Z=0

q1
b a
P
Z=0 Z=1

q2
b a
P

Z=0 Z =1
 TABLA DE SECUENCIA DE ESTADOS
A. Dada la cadena de
Entradas X= abaabba
Encontrar la cadena de salida Z=?

FISI- Huapaya, Mayor, Valdiviezo,Villar

i) Manualmente
Z=0101010
ii) Tabla de Secuencia de estados

Instante t 0 1 2 3 4 5 6 7

Estado q0 q0 q1 q2 q2 q0 q1 q2
actual
Entrada X a b a a b b a

Estado q0 q1 q2 q2 q0 q1 q2
Siguiente
Salida Z 0 1 0 1 0 1 0
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
TABLA DE TRANSICIÓN Maquina de Moore
b/0 a/1
Q E a b
q0 q1/1 q0/0 q0 q1
b/0
q1 q2/1 q0/0

FISI- Huapaya, Mayor, Valdiviezo,Villar

q2 q2/1 q0/0 b/0
q2 a/0
a/1

Poseen estado de aceptación por no tener

salidas diferentes y se marca los de salida 1

AUTOMATA TABLA DE TRANSICIÓN

b a
Q E a b S
q0 q1
q0 q1 q0 0
b
q1 q2 q0 1
b
q2 a q2 q2 q0 1
a
 MÁQUINA DE ESTADO FINITO
DETERMINISTICO (MEFD)
 DADA TABLA DE TRANSICIÓN(a Moore)
Q E a b c S Q E a b c
q0 q1 q2 q3 0 q0 q1/0 q2/1 q3/0
q1 q1 q2 q3 0 q1 q1/0 q2/1 q3/0

FISI- Huapaya, Mayor, Valdiviezo,Villar

q2 q2 q4 q5 1  q2 q2/1 q4/0 q5/1
q3 q4 q3 q5 0 q3 q4/0 q3/0 q5/1
q4 q6 q5 q2 0 q4 q6/0 q5/1 q2/1
q5 q1 q5 q2 1 q5 q1/0 q5/1 q2/1
AUTOMATA

a q4
b
b c
a b
q0 q1 b
a q2
c c
a
a b c a
c b
q5
q3
MÁQUINA DE ESTADO FINITO NO
DETERMINISTICO (MEFND)

M{E, ∑, Q, q0, Q’, f, g}

FISI- Huapaya, Mayor, Valdiviezo,Villar

f: Q x E  Q’
(q1, a)  f(g, a) = {q1, q2}

a/0
a/1 q2
q1
MÁQUINA DE ESTADO FINITO NO
DETERMINISTICO (MEFND)
a
Ej.: a
a b c
q0 q1 q2

FISI- Huapaya, Mayor, Valdiviezo,Villar

b b
b b
c
c b
q3
a
c

Q E a b C
q0 {q0 , q2} {q1} {q3}
q1 {q0, q2} {q3} {q1}
q2 {q1, q2} {q3} {q0}
q3 {q3 } {q1} {q2}
DISEÑO DE UNA MAQUINA
Diseñe una máquina de 3 estados que produzca salida 1
cuando compare desigualdades de dos 2 números
binarios con los símbolos =, >, <

FISI- Huapaya, Mayor, Valdiviezo,Villar

E = {00, 01, 10, 11}
Q = {q1, q2} q0
∑ = {0, 1}

Comp 00 01 10 11 Q E 00 01 10 11
= = < > = q0 q0/0 q2/1 q1/1 q0/0
> > < > = q1 q1/1 q2/1 q1/1 q0/0
< < < > = q2 q2/1 q2/1 q1/1 q0/0
DISEÑO DE UNA MAQUINA

FISI- Huapaya, Mayor, Valdiviezo,Villar

00/0 00/1
11/0
10/1
q0 q1 10/1
11/0

11/0
10/1
01/1
01/1
q3

01/1
00/1
DISEÑO DE UNA MAQUINA
Diseñe una máquina de 4 estados que al recibir un valor de
3 lo reconozca y produce salida 1. La persona puede

FISI- Huapaya, Mayor, Valdiviezo,Villar

ingresar como entrada{1, 2, 3}
E = {1, 2, 3}
∑ = {0, 1}

Q = {q1, q2, q3}

*/+
OP 1 2 3
0 1 2 s 3
1 2 s 3 s 1
2 s 3 s 1 s 2
3 s 1 s 2 s 3
DISEÑO DE UNA MAQUINA
Q E 1 2 3
Tabla de Transición:
q0 q1/0 q2/0 q3/1
q1 q2/0 q3/1 q1/1

FISI- Huapaya, Mayor, Valdiviezo,Villar

q2 q3/1 q1/1 q2/1
q3 q1/1 q2/1 q3/1

2/0

3/1 3/1
q0 1/0 1/0
q1 q2
1/1
2/1 1/1
3/1 2/1
q3 1/1

a
DISEÑO DE UNA MAQUINA
Diseñe una máquina de 2 estados que produzca salida 1
siempre que la cadena de ‘unos’ sean pares y produzca

FISI- Huapaya, Mayor, Valdiviezo,Villar

cero en otros casos.
E = {0, 1} q0, q1
∑ = {0, 1}

0/1 0/0
1/0
q1 q2

pares 1/1 impares

DISEÑO DE UNA MAQUINA
 Diseñe una máquina de 3 estados que reconozca la
cadena 101 y produzca salida ‘1’ ,en otros casos salida

FISI- Huapaya, Mayor, Valdiviezo,Villar

‘0’.

1/0
0/0 1/0 0/0
q1
q0 1/1 q2

0/0

0010101010
101000101
111101111
 DISEÑO DE UNA MAQUINA
MAQUINA EXPENDEDORA DE CARAMELOS

FISI- Huapaya, Mayor, Valdiviezo,Villar

Consideremos una máquina vendedora de caramelos que
entrega a la persona el chocolate elegido después de
recibir una moneda de 50 centavos que cuesta el
chocolate. La persona puede, depositar monedas de 10,
20, 50 centavos. Diseñe esta máquina con 5 estados.