HOJA 2- TEMA 4

Curso 20-21
① Isasi Martínez Borraja 16-19
,
y ,
pags
Solución en el libro .
② 6=14 a, b ,
c
,
d ,
e
, f ,
o , 1,2 24 4 26 , HIIIJ 4
,
,

6 , P)

P= la bc 6 → abc J → TIPO 1 l Get abc . .

abc)

Gdef Idef → →
tipo 1

J → 10110 1 →
tipo 2

244 → 234 →
tipo 1

-
Ínferoraf
I → 1 4 →
tipo 3
¡ Qué
regla hay qe
eliminar
para que
más
restringido
cambie

Chomsky ?
de
al

la J -
siguiente tipo
de

las tipo
reglas tipo
ser
1 a
pasan
§ un cstr de
frases por
la
regla 244.24mm
compresora tipo ¢ con
.
6. estr .

fueses
eliminación de esa
la
regla hace

que la 6 sea
tipo
=
1-
/l-2H4→zt
③ limpieza :

6=4 aib , c, d4 hx Z 0 P, Q 4 Z P)
,
y , , , , ,
i

2- Z
→④
→

Q → OP

• X → aa
⑦
2- ↳
•
→ ax
④
.
Y → aa

. 2- → Ya Es vua
-
6
tipo 2

O →
b

• 2- → aaa

P → QO

Q →
el

P → C

O → PQ 4

MReglasiuueasavias.az
→ z se elimina .

sirios :

( ④ bici d , ④ ④⑦ , 0 , P, Q )
Son inaccesibles oip Q se eliminan
, y
del Et : b , c , d .

La 6 sin R innecesarias
ni S .
iuacesibb
.

GÍ Chal , 4 x. Y Z 4
, ,
Z ,
PD
'
P hx aa

jjiiiii
= →

2-

+
→

→
a

aa
X
:c:L !
2- →
ya
2- → aaa 4
símbolos zo generativos
3? R
-y 5
.
Superfluas
de marcado :
algoritmo
recursivo

:{¥ : 1¥
iep

:{÷:al
:

no
hay r .

superfluas ni símbolos

generativos
no
.

4? R¥ No
hay
F- R → No
hay
④ 6=40,14 , 1 Si A , Bic 4 ,
si P)

P l
= s→
A? 10.511.71 ?
7- OABI de
→

B → B 1144
"
J → No
hay
E) Stubbs :

④① ⑤ ⑦ ⑨ ④ No
hay .

5-
Regias :

÷: ¥
Kp

:L
:p
:

:*
÷
Queda sin marcar :
ISIL R superflua .

C símbolo me
y
es
generativo .

Se eliminan .
la
equivalente
6 es :

Él 0,14 45 q B 4. ,
, , Si F)
'
P =3 s →
AB 10511 A
4- →

OABI de

B B1 / de
4

R.uzgeuera-tivas.hag-z.AZ
4?

B
y
empezamos B → de la quitamos
todos donde B está
y en los lugares
en
parte ddra :

B B1 /
→
IBA de
tenemos
ahora q →

q →
OABIOB / OA 10
LA d)
= IB : H

S →
ABIAIBI 0511k
54 R.redeuomina.ci
se sustituyen por su

① valor .

La 6
limpia y BF
equivalente es :

Él 40114,4 si
AIB 4. SP Y
'
P = hs →
ABI 051/075105107101

EE , .TT
B

f- →
OABIOB 10710
B → BS 11 4 .
 6=40,14 l B, D , Ei F 4 S P)
⑤
c
,
s
if i , ,

P= 4 S → A ? 10? / A las
4- →
0751 del 701C
B → B1 11

D → B 1 1 del 1 F

E S E

F TOD 4
1?
E
-¥
2? S .
Inaccesibles :
-

⑧①⑤④ ⑧ ④ D El

inaccesibles
Son
me dan sin marcar D
y F
reglas
,
se eliminan y sus .

IT no cambia .

EN = 45 , Ai B , C, Eh
{ S →
q.rs/oE/Alcs
A- →
oq.si?1qo./c
B →
B.111 .

EL
Es 4
5-
regias :

"

! :* ÷:
!!:}!:p
p

±:L
-

Quedan sin marcar :

superfluas
}
S OE

PILAS
→

seas
símbolos
ya
son

4- → c

E- → E- 1
NO
generativos .

se eliminan .
 '

)
'

G -40,1445 IAIB 4,5 ,

P

PEIS ABIA
4- → oqslx 170
Bs 31114
E-
R.uoguurativas-i.fr de /
A- →
OASIOSIA %
4- 4- Y
XEL
S →
f- BIB 1pts
7=4
'

5- Redenominado
Se cambian por
y
su valor .

Geqiuvilloidhihsifi Bb 5. P "
),

LYRBFP y
S-sABIB.es/1/oqs10S1q0/0lR-A-r0AS/oBslqO10
B
A
⑥ obtener la 63 LD equivalente
si P)
63 LE 40,14 ,Gq is 4 ,

P
=L S → 1
171
A- → SO 4 .

Paso 1 : Quitar S inducido :

-
mm

"

-2N =
IN t I

I →
1141
A- → IO

S→ 1171 .

Paso
-
2 :
Dibujamos
mmm
: el
grafo
1

⑤ →
④
^ f e µ
① ←

→
cambiamdselgrefemdlasreglascou.SE
Pazz :

Eso
④
tu
⑦ .

⇐÷÷÷¥¥ -
Isis
'
a

la 63 LD es : 40,14 4 si fi Itis
,
,
P l
'
P = h S → 1 11 I

I O
A
A- → eI 11 4 .
⑦
⑧ 6=4 eifig ,
Z , aibid 4,44 ,
x
,
E , A , BiII GAD

F- 4. A → a

Es b FNC
a)
-

A → azb azdbb
b) bzy
-

A- a ×
? árbol
- →

← al L .

E- → E

G →
g
-
X → XE

De eI

•
X → z

Y → b

6. I

X
→

→
f
Xb
. E → d 4
la 6
hay q limpiar
a) ierwgar
.

en

i. RÉIS : E
# E

2? S.Inacasi-b.es :

ELI ⑦ ④ ④⑨④ ± ⑦ EEH

se eliminan los símbolos inaccesibles
y
asociados :
las
reglas y T

D eI
EÍ haib , Z, d4
→
=

b
Y →
'

G →
g ZN =
tq ,
E
HI
I
f6 .

I:¥÷÷f
-
G =L aib , di Z 4 , 4 ALEIX 4 A IP )
'

} ,

PE 4. A → a

- E → b

2.
-
→

X → Xb
-
E → d 4

3? R .

superfluas :

¡ 5- p
En
.
EID
•
E d ¥ → a
? FIN
• X → 2- * X →
X. E.
•

A → azb ¥ →
x.
b

E- b
1.
NO
hay superfluas
R .
ni símbolos e

generativos .

4? R¥ : no
hay
57 Redenouuiuacioues : no
hay
-

esta L BF
La 6 y
.

"
áxn
HIEI
HEIM
azb
q
→ →
•

Es

•
X →
Xb no
6 en ENC : 6=4 aibb zcdlr } AIB ,
GDF IX te APY
,

PE h
A → a

BC
4- →

BX
4- →

B →
a

C → DE

D → Z

Es b

E- →
d

Fsb
X → XE

× → XF

x →
zq
b) . abz ¢L
• a zdbb en 6 FNC :

A- → BX → a X → a XF → AXFF → AXEFF

→ a ZEFI → azd FF → atdbf

azdbb
-
 la dada :
⑨ 6 en FNC equivalente a

6 = ( hac b , c4 , h Si A i B, 4 D. El , S , PJ

P =
hs → AAB / Cbb / B

la D
A- →
q a

B →
al Bal de
C → Sa la Lab B

B → aa A
E- → a a 4 .

La G
limpia y BE equivalente es :

' '
G = Chai bh , h Si B , c4 si P ) ,

P
'
= ) s → Cbb / a / Balde

B → a / Ba

c →
sal a la BB la b 4

Ahora
qq.si?ap
están en FNC .

-
 IS-sc.DZ
/}
Eb
•
S→ →

*
%

•
S
/
→

Buaw → H→BFT
Era

.rs#Baw~slB-sBFT.c-fSa~s1c-sSFT.c-sgb?roIc-sFt
6BY6→EBI
.cz/ab~olC-sFET-
La 6 en FNC es :

|
GÍ lhacb 4,45 Bic , D. EIF 4,5 , P
"
)

}
,

"
P =3 s → CDIAIBFIX
B. → a) BF
""

¥:{jeta
#

F- → a

↳ → EB 4 .

-
⑧ qlfousea 217 . Hallar FAI
G= lhaibh , 4 c4 Ai P)
GiB , .

El BC ②
q →

CA ②
B→

13-7
FAB ③
4

1° orden O EN = } f BICG
,

orden : GRUPO 2
si clasifico en
fol 1
GRUPO 3 GRUPO 1 LFNG) bien colocarla
t respecto al
mal colocada Orden IN .

respecto al orden
de ZN .

Gr 3 → Gr2 ~ Gol
FNG .
empezamos por GIN RI

*÷
"

.
÷!
Sale una
regla RI Para quitarla busco
.

TODAS las
reglas de C :

¥? }
⇐a

×→
ACBXNFCB
para saber de
q tipo
es x
hay q
colocarlo en IN :

ZÚ = 4 xi A i B ,
a 4 así
B ②
Por dónde Gr3 , vamos
seguimos? No
hay

símbolos pero intentando sustituir los

a Gr 2 ,

q ya están
FNG
nej £ en
,

Vamos con B :

Hecho la de la clase
° . . en
pizarra
04111120 .
① Examen 1999 .

Dada 6=4 aubh ,

454 si P)
,

P =3 s → asb 155114
Hallar la FNG
equivalente .

S SS
regla
→ es una RI .

Para
quitar la RI se usan todas
las
reglas de S
,
excepto s → de .

.it#1ETf.assx
asbl
÷
s→

X → sxls
-

Volviendo a 6 :

s → asblasbx casi 1
grupo
→

Visibles
-
las→ a SB BX GRUPO I
 × → Sx /⑤ Redeuomiuacián !
!

SI / asistas
×

GRUPOAGRUPO
→

4
K

IX-sas.BY/asBXx-/
-
GRUPO 1

¥7 GRUPO 1

La FNG está formada todas

por
las
reglas de GRUPO 1 .

GIUaib4.IS/3,xhiSiPJ-

| |
'
P
"
= s →
ASBIASBXI de
xg} assiqsx las Bxx

-
① 6=41,24, 44 Bici R E l q , i
)
P FNG .

P -
. l q → CD / EBI R
. B → BC 1 1

.
C → 2

-
D → BC

reina
141 xc
d, c →2 E 1 B → 1/1 X Dee
FN 6 : A ,
→
,
,

-
/ 1 BHXB , x 24 2
A 2D

:#
B
→
RI en
Hay
BY BXÍÍKO
B→ " →

Redman .

× cxl
I todas son de
EN =
1 7 , C
,
E , D

2
grupo -
.

DEBIL alÜ
I. empiezo por
•

µ ! a →

MAFIA Es →

µ¥
③ G = l l ai bici d , e
,
o
,
1 4 , le s .
q , B, a 4 ,
s, P) FNG .

P= l s
qa B / Aac
.

f →
q l
b
q / b laa

-
B → Bd 40

.
C→ ce B 11 4
"

iEnincita I
FÑG .

¥6
B → Bbc lo →

C CEB 11 Cst
B)
→ rio

EN6 .
 µ
S→ AB → S →
BABKABIDDABI
ICDAB

S →
tffac no S→
baclcac IBDACI
la Dac
las
Reglas de s tienen una a

Añadimos
mal colocada en la dama .

¥51 FNG

§→bEBkEBl
-
bDEB/cDEB
BECICECIBDECKDEC
No
① Examen
sept 1998 .

restricciones → 62 FNG
If con .

. IFEOND Then (
asignación )
-

posibles IF anidados

COND es una variable booleana

-

E- =L if then ,
el se : : = , var num,coud,
¡4
, ,

Skins :

var : : = num
;
ifcoud then var: : = num
i

If und then var: : = num ELSE

If COND then

{
.
. .

ELSE
if corral . . .

el se var : :-. no mi
La 6 será :

-5

{
→
Ai l Bi
4- → var : : = num

then B /

¡¥
elseB
→ c
Ifctheu B

< → coud
Para FNG :
ponerlo en

EN = h Si q , B, c4 todas son
gr 2
excepto A q es
gr 1 .

Sqfti → S→ var : : = num

;

S
#i → Se Ifctheu Bi I
B else Bi /
If c than

Repetida! varíen
A se acaba de convertir en inaccesible

ifctheu B) If thenB else B /

c
B→
var : : = nun I
añadimos nuevos símbolos a
Era
para q no queden T fuera de la

cabecera : 4
F → :: =

N → num

P → i
T → then
E- → else .

La 6 en EN 6 queda :
 then i else , d, i 4
27 = l
if ,
i: =
,
var , num con
,

EN = 4 5, B ,
C, F N , P , T E 4
, ,

5
P= 1 § → v ar FN P / if CT BP / If CTBEBP
FNP
B→ If CTB I if at BE BI var
C → con d
F→ :: =

N → num

P → i
T→ then

E → else 4 .