k-Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing.

en Sistemas de Informacin

EVALUACIN PARCIAL
(

SSL Terico Tema "B" Apellido y Nombres: k- (. leS 0 OcolA

1. 2.

A zfr,i,

Curso: Fecha: Nota:

..4 culo,

2S /OS )

La primer Mquina Abstracta fue presentada por ro r'iNg en: a) el siglo XIX, b) la segunda mitad del siglo XX, c) primer mitad del siglo >9, /, d) Ninguna de estas. Para cada uno de los conjuntos de reglas de produccin indicados identifique el tipo de gramtica al que pertenecen, la denominacin y la forma normal en caso de que corresponda. Reglas de produccin aBbC := aCBAbbC , A := aB I a A := BC I DC I a 1 b , B := a A := bA I aB I b , B := aB 1 b A := bA 1 aB I b , B := Ba I b A := aBCD 1 bAB 1 b , B := b aBbC := bCBbC , A := aB 1 a Tipo Gramtica Denominacin Forma Normal SI/No Nombre

.1
3

depcidielk cl<,- colleyt bi o

9 ;Adeb2,1e Je ccAL.1., Si
it a IL t

C.Inonn

Ky
C-4-T

Jy
X
3
.

Will th MOI illalli~",

aeEti. , aeEr* /)(' X A := Ab

5!

No C
' i

o ,-., ,14 5 -1":,_

th

. ra

Concepto Sentencia (a) Regla compresora Regla recursiva Forma Sentencial (a) Funcin de salida Regla no generativa 4.

k= X, A.-S

ae(ENUE-r) e

Qx4-->Es

Ab := C

>( ')

-> Q, d) f : Q x EE -> Es . e) Ninguno de estos. 5. Una Mquina de Mealy se diferencia de una Mquina de Moore en : a) la funcin de transicin,e la funcin de salida, c) El alfabeto de salda, d) El alfabeto de Entrada, e) Ninguno de estos. 6. Un sentencia e9 ambigpa si prpriuce_ 1(> cJena CO,- f : Q x Z E -> Q, c) f : Q x E S ---> Q,

'ar-17)

rte

cterlJac?0 ,1

SI( ni O S

7. 8. 1 9.

ChEn caso de que q=f(p,a ), d) Nunca, e) Ninguna de estas.

En un AF el movimiento ( p , aw )1 ( q , w) es posible : a) Siempre, b) En caso de que p=f (q,a ),

Dada una cierta cadena a", se dice que el estado 'q" es accesible desde el estado 'p - si er(p, a) = q, b) je (q, a) = p , c) fe(a , q) = p , d) f e (a, p) = q , e) Ninguna de estas.

C, V

La funcin de transicin de un AFD queda definido como c P r d%) .-10. La funcin de transicin de un AFND-X queda definida 11. La funcin de transicin da un AFDB queda definida 12. En un AF la aceptacin de una ceden p ir dl un estado inicial 'y' y donde F = { s } puede representarse como (9_ , ) 1* 13. Las representaciones utilizadaspara el co portamiento de Autmatas ante ciertas cadenas de entrada son y 14. Dos estados p y q de un AF se denominan " si para toda palabra de entrada 'X' los comportamientos a partir de los estados p" y "g* son los mismos. 15. Al par ordenado ( q , w) de un AF donde "q" representa el estado en Tse se encuentra y `V la cadena a ser leda se denomina : o 16. Si al minimizarse un AF se llega a que Q/E = Q significa que 17. Un AF mnimo es aquel que contiene 1O menos el clon pasMe 18. Las fases de la etapa de Anlisis de un compilador_s > 1 S. Ge/vN c Y SYVVI ler 19. El mdulzie lee un programa fuente y genera otro p ftrer e se denomina: a) Compilador, b) Intrprete Enlazador, d) Administrador de librera, e) Debuggerj inguno de estos. 20. Un software que permite ejecutar en una lataforma un sistema destinado a otra plataforma diferente se denomina: a) Intrprete, b) Simulador, mulador, d) Compilador, e) Enlazador, f) Ninguno

PU,

Ce 5 a.r. cLIC

9 ,4 011 2t4 c 21.1 Curso: ... Fecha: Nota: 9. ( Legajo . 5-42 c6-1-

UniversIdad Tecnolgica Nacional Facultad ReOonal Crdoba I ng. en Sistemas de Informacin

EVALUACIN PARCIAL
SSL Terico Tema "A"

Apellido y Nombres:

Aoy ez:

en: a) el siglo XIX, La primer Mquina Abstracta fue presentada por 1. Ola primer mitad del siglo XX, c) la segunda mitad del siglo XX, d) Ninguna de estas. Para cada uno de los conjuntos de reglas de produccin indicados identifique el tipo de gramtica al que 2. pertenecen, la denominacin y la forma normal en caso de que corresponda. Forma Normal Gramtica Nombre SUNo Reglas de produccin Denominacin Tipo
G -rn

CC-C.1UL A := bAlaB 1 b , B:= aB 1 b -st J dc_chem-1.1(Ff ,q cr.dccts%e C9 OCrke 410, lr~el A:=BC1DCIalb, 6:r-a No Iht I on ;c4-1-c A := bAl aB lb , B := Ba lb l coo\r,Ans aBbC := bCBbC , A := aB 1 a cSek urntr,X., Ck-I'C-IN e-r> A := aBCD 1 bAB 1 b , B:= b cick aBbC := aCBAbbC , A := aB 1 a las filas y columnas que estn relacionadas entre s: 3. Marque con una cruz A := Ab Ab := C cte(ENUET) * QxEE-->Es eta-1-* 11/4.S A:= X, / Concepto X Sentencia (a) X' Forma Sentencial (a) x Regla recursiva x Regla compresora x Regla no generativa X cZN. ci Funcin de salida cle cles',.)Cer , dc11 t -el-G-, ci ED o ~ .k--kooL_ cr ic_ 4tencia es am igua li -Got_VCS 4. U tried s Jr11-e aCes, sJ .c.1 o r-r...1 a. 1-T...7 , VII) o c.-.< oi. e..... , e5 definida como a) f : Q -> Q, En Fas Mquinas Secuenciales la funcin de transicin queda e) Ninguno de estos. 5. d) f : Q x EE -> E s , -> Q, f : Q x ZE -- Q, c) f : Q x E s 6. Una Mquina de Mealy se diferencia de una Mquina de Moore en : a) la funcin de transicin@ la e) Ninguno de estos. lifuncin de salida, O El alfabeto de salida, d) El alfabeto de Entrada, En un AF el movimiento ( p , aw )1 ( q , w) es posible : a) Siempre, 0 En caso de que q = f ( p , a ), 7. c) En caso de que p = f ( q , a ), d) Nunca, e) Ninguna de estas. si : a) f e (p, a) = q , se dice que el estado "p* es accesible desde el estado `q 8. Dada una cierta cadena 'a . fa, q) = p , d) Jefa, p) = q , e) Ninguna de estas. fl (q, cc) = p , c) j e En un AF la aceptacin de una cadena a a partir de un estado inicial "(Ir y donde F = { s } puede 9. representarse corno ( cN , a ) 1* ( 5 , X ). U
(

10. La funcin de transicin de un AFD queda definido como

t' 4 ' , 1- + 4 '7" 11. La funcin de transicin de un AFND-1, queda definida A__x "1.- -- Ck , t 12. La funcin de transicin de un AFDB queda definida Las representayones utilizadas para mostrar el comportamiento de Autmatas ante ciertas cadenas de y arSock. -... ,. ... 13. entrada son yl -wri o , si para toda palabra de entrada "x* de un AF se denominan e-yi u . e-ekVes q y p Dos estados 14. los comportamientos a partir de los estados "p" y 'q' son los mismos. Al par ordenado ( q , w) de un AF donde" q representa el esta0 en que se encuentra y V* la cadena a 15. t: /tento ser leda se denomina : CoriLcsurac..or, ->Jcp ltri ult---:. 'ro -i ri: rm 5-16. Si al minimizarse un AF se llega a que Q/E = Q significa que .., e e ll-j,, ,,.. o 1-.,1,,,I .1)..,-,1,-,te. , Un AF mnimo es aquel que contiene L menor c, 17. El mdulo que lee un programa objeto y genera un programa ejecutable se denomina: a) Compilylor, b) k-04-41' cr. 18. f) Ninguno de estos. Intrprete@ Enlazador, d) Administrador de librera, e) Debugger, c I, CC) ,i--s---Us<.; mo 19. Las fases de la`` etapa de Anlisis de un compilador son: 5e.o.---4-k.s (--,t; ,, ,.;.<. y

akw-

20. Un software que permite ejecutar en una plataforma un sistema destinado a otra plataforma diferente se Enlazador, f) Ninguno b) Simulador, O Emulador, d) Compilador, e) denomina: a) Intrprete,

1-.NM :=1 S

.'k Ini-C-1-1C-1:7

. L,. \-1-)

1.--,-,

rG h OCTre tac> C.0 ex, .1 . . CI

4Ca--e,nc. Celzoz---.)

cor.

tarreiLrl

Cll

'SZ.Z.11(,,,L

r,

. j.. ,k Q,k,...L crk. ,_ ,t .,

( d% ) 1-1 a rr-1.13,:1--y,

Universidad Tecnoinglica Nacional .Vicultad Regkmal Crdoba In& en Sistemas de Informacin

EXAMEN FINAL
Sintaxis y Semntica de Lenguajes
TEMA A

Nota: 4.0(. eljej Fecha: .. . 1/25.1...Z Curso:

jApellido y Nombres:
Ejercicio 1 (30%)

.:N.XOCUY)1/4.

1(

"

Legajo' 17 7-4 1

Dados los siguientes grupos de producciones, se pide: a) Indicar si son gramtica y en caso afirmativo clasificarlas segn Cbomsky. b) Obtener el Lenguaje que genera la gramtica tipo 3 y representar tres rboles de derivacin. c) Limpiar la gramtica tipo 2 y definir formalmente sus cuatro componentes ENT S, P).
P1: S:=0A / 1B A:= 0/ 18 B:= OC / 1 C:= 1 Gramtica: SI Tipo: 3 4) P4: S:= eZUW Z:= b U:= eU X := c - W:= e Gramtica: SI Tipo: -----

1)

V NO

li

(1)

P2: S:= OGO I 1 OGO:= OHO 1 OFO OFO:= 11 OHO:= 00 Gramtica: Tipo: /3 1 5) P5: t S:=. bAB / c aA:= aC /b C:= ac / d A:= aD aDc:= b Gramla: SI Tipo: N

2)

7(.._
NO

.7(

P3: S:= a / bDa/ S D:= aE f b E:= a / bb F:= aS. Gramtica: (11) - , Tipo: 2. 6) P6: : 5:= aA A:= aa / aaB / cB k= b/bC C:= c Gramtica: Tipo SI

3)

NO

NO

NO

Ejercicio 2 (40%)

r
1 --la c

\i, a) Calcular el conjunto cociente

jj

Dado el siguiente Autmata Finito, AF= ({0, 1}, {a, b, c, d, e, f}, a, {c, d}, f), donde la funcin de transicin , se representa en la siguiente tabla, se pide: f 0
b *c c d

b) Construir el Autmata Finito Determinista Mnimo / c) Dar su Definicin Formal \I d) Representar su grafo e) Construir el Lde descnpeiones instantneas para la cadena: 00110

b b

*cl e

c e

e e

/- f

p -7-----___a

Ejercicio 3 (30%)
Disear un Autmata Finito, que acepte el siguiente lenguaje: L= { a m b (b a)" 1m > 0, n > = 0 }. Se pide: a) Representar su grato b) Dar su Definicin Formal Representar el rbol de corrfiguracioneuel plano_estado=entradas_ante la aceptacin de una cadena de entrada de largo cinco. d) Determinar su expresin regular

Ciclo lectivo:
F0026-W.211102

....... . Turno: [Mariano/Tarde/Noche]

Hoja:

de

x. n (3,11Az Ana.. L

c.. FECHA. los 12

L
52._

PAILUP.r 1
[

_, 1
1,

n cov_e<0 -,. k,z, RmlAzAwy.15\.

( z_l_Q)::: C G C..
1_,t)::

1(1210\ .1 C.- Q ....._

V.:. k:, _Op+1

. 1- _o ,f_(_42_

e e Co
E

b a k3

e co

5 t e t 1) :

__1(c,(5) 1-01

c,.. __H1.1_1) :.e. e ce_ -:-. ( co =

q_CJ, l o) = c G ct.
__.. 1591 t_ck

,
'

__5,114_,A.\: e _9.co

,
A: cl 1 1-z c 1--.. e- (1. ' ' _c25_011----

k N, cN ...: cc c t r--k-V 1 0.-.Y.---. V> co

(6 14= c Q. e r 5-1x.. 1.. _I2,1c. r so

to) : c ec.
1 t d , L)r e c

-BE9

., . / -c-,-cc. ..--1-1-1 q7,-,..\-

Z
-C- 4_

el
1 ,

LL f_

E NE PIIII W1,1 DIU Illii pa

e.,) 0 o j LL-.)

Col o ()t. 4..o)-

_,

_2_fro_t. c __., ( '_i I__,A...0 ) , -4 ( e-1-(;)

C -1-L

o.

I Li - [91 1 _AA T- 1 -r.... o1 LJ - N. I ,

i Wj. rma krraiv'e, eSJ No 1 ri

Fi

h H Lt/, 1_01 i r

.-

0.1 1--i,

1 LO ,_ LI l 3 afi- JI I j \ .1: i sr> 1

1 1_5 L L L

c.

C> L rdi

Q_I ', O D .. (--A 1 I

Li
A. 9 '

1
1 -ti I r.-.1 s1

upi . ,

L e.. 1 , P7

LIT ) L ~ist____511=

1 l I -i'li 4-11-t-1-11 _ws,41 i flo

L 1s 5314 Iiuj r -

EA
II b 11 Ill

1j [2:.! 1 -E I i L r _.1 1 1 - Pjesm ---0 #.1 i 1-1 ii 111 1 1 111! ; i____I___ , i i lo, 1 i 1jc i 1- l IIIIIII i 11 I II i i I , l I i 77

-S wi r7 ..1114 14_-7 1 Lo] 1[. ) 1 . :1 - ?`3; 1 6ba 1 1E 1 k=la)1.3 --1h*--7 --Jo -......,-1 PI 321 I kNasb.S --1 i sIlfrOcztoS st.) 1 1 ,..i, . 1 , . , . I

IltY--ki91 lirn

1.! ti

-r. t igk I I - .- i. 1LO -O 1 11'1 1 1 sl,,o1/1. 1 1' ,... 01,.. 4

[1:,L1 LIJLi ;

11111

Li , . S: . r _7 1 i 1 1.----1--E, reLT i 1 . ii-, ,

1 I 1 i

. ,

. i

'

Li

1.womill111IPRI!

I s

,8 53Dio GovY

Afx\c3.10; a A- rID

(2

11 FECHA

S'IbS9

__ _ a,k1
:10,4 14 l e

-= error

Vb = A-

s.1 e.1/ u-P.

i, V
, i .

hl vT---4 y vzsm.0 sk

___Al , 141za) -(.--1-1 1 .Q/II-41A

( 14-1-,... , a 1 \
.-4.

e-15)41.0 lo Its...e._ .
t

i. I-

.,

NCTA

Univer7ldad TecnobBkaNadonal Faa "sed Regional Cdrdoba Ing. en SSlemu de Inlorn,ack n

1 2 Parcia[ 'L ~ \ J

Puntos:

/k Fecha: 07 /,

Sintaxis y Semntica de los Lenguajes

Terico- Tema A

Apellido y Nombres:... 1'~et~~ .

1)

t..s

Legajo:

L. Curso:?.!c.

y no termlal Una cadena derivable a partir del axioma y donde sus smbolos pertenecen al alfabeto terminal
se denomina: a) sentencia compiela b) sentencia c) produccin d ninguna de estas Defina y simbollce la operacin de Interseccin entre ds Lenguajes, 1 y L2, sobre u,
el con 4 IPn ~

J
2)

Fui

\1 ...s. +bcibb... rdn>tlr ~ ....de .1 ~ .> .1 ~ ...,..1,>a.RLz.:

3)

1. s~ ..
~

...L..L R.L

etltre s? L Qu diferencia a las Gramticas de Chomsky

z ~?oa ~ieh%a ~1 ~~
~
{

xI

...
Q ~ T.ig4
J .. ~.V'k o

M, g 4)/ El Autmata a Pila est relacionado con las G } I

2
n~ j .1

4~ 4...
.

5~

ks ~ ,Ls ',' ~~'`~~~~ .; s L. ?Slmboli~ A qu se llama Lenguaje generado por u ~ {I lk e ~, li ~~ {Y % 1 'hli~ l ,~;.fii ^M ,. 1' .~ .) ~ etg. ~ en`~~?,!?. ~eaecar a.(~ u~. , t

... n1 yc~a.~ .Y.A. r r.. ~ r..de ~ . .Ai' lag} 3

q=

' r r., t li

..d ~ ft

....L(

x. ~ .fr,~....Fc.

6) Un ssimbolo No Terminal es Superfki . a'

: ~

a) derivarse desde el axioma c) generar la palabra vaca

r'

r 5

rse cadenas de terminales desde l

no
y 9c:E. ?11' ; i .una cantidad finita de producciones de la

i) El proceso de bsqueda de upa { gramtica se denomina:

B) Es posible disear un Algoritmo qu; / ambigua. ( Verdadero`

I;Ed r (a S ' '

lyasos si una gramtica cualquiera es o no es

9) Qu Tipo de Lenguaje denota la Expresin

10) Nombre dos uulidadas o a Ilcacfones deias M

? Enumere seis palabras del tenguaje.

~~4~ e...lz~~o\gc
.

Abstractas.

11) La funcin de transicin de una Mquln t

f c'I

ida como

J.
Ae\ a\

donde cada elemento representa:

!1 ~ g:.ri4 12) La funcin de salida de una Mq 'L' elemento representa:

cLe Pn4ru4sl

j;

-3 . ~g

; donde cada

Q .:

...ce. ~ .

13) Un Autmata Finito (AF) en el qus'' b) Determinista a) Completo L/' Una clase de equivalencia de un A~ 14)
~

desde el estado inicial se denomina: 0 Ninguno fnimo

~ -yR q e ) Ninguno de estos. p, ap, c) q ' j, bq a) p f= ci r , ~~ definida como forma ms general queda de ~~ , ~6) La f un ci n de ansicin de un representa elemento cada donde 1 fin , P(t -~ f; x ( . O ) 1

G.41?itQ....unP...o. r1A...4 aaskri. V 15) Si un AF tiene un transicin J(q, a)

t `?'rr ``

? ;' ~

de produccin d la Gramtica asociada ser:

~ ..Q;.cci v(t1p. e..Cditslr ~? . ~ ...`

;.la\ ~ alae.v...V...GtS 1~? ...de ...Sfi.L~c49,.., +~

~~ ..e. ~ lPtt ~ as.. ~Z.l.4 ~t~~

C ~lt~.5~.~ra-~

,~p.~ .~!. r..01.Ri ~ ::7...CU:~~ .. ~ ~ 6J5:~~ 18)Dada una 'Relacin de Transicin A', T, L Cmo se obtiene el cierre transitivo de la relacin, T`?
...

17) L Qu es una transicin )l?

GS... cxQ, ... OSt'.(Vf,1~ ti..

` 1> ~ ..\

2~

.....si..><,c

' BidIrecclo, ~ 19) Qu elementos componen el alfabeto de cinta de un AFO

.... ). ~i~cie..tr

ua...ca ~ +~r.~ ,..(.c ~ r).. ~n.a~s4gl

1. ... ..n.... ~
Instantnea o Descripcin

'
aw.....e.
un
~t~.~

\/
20) La Confi uracin

.1a.~~ n. ..de ..enlsa

de

~o..'!.....,?qiG: c\J 1c:....... ; d q~

(AFD)? est AFD B

compuesta~ ' ~ r
~ e l culae7 )

\%K 6fCO2b-111-20110.2

- 11- o - ~ , K.

oca : cai'r

% Q( le~c~ v 1 K . ~o 51c

SI naces ta m-s espacio para estrie r sus respuestas, puee utilizar el anverso de a ho

a.

Ciclo lectivo: 2011 Turno: Maana/Tarde/Noche

Hoja: 1 de 1.

Yk-/
Universidad Tecnolgica Nado nal Facultad Regional Crdoba Ing. en Sistemas de informadn

/ 1 Sintaxis y Semntica de los Lenguajes

Terico - Tema A

Lc,tt.tx_ 1 Parcial

Puntos:

/100 -Nota: Fecha: 07 /05 /.;

Apellido y Nombres:IIM-.4::-.CD9y-rr.4:r..,Nc..)~19-9
1)

Legajo:5Z)."19.. Curso:1):

Una cadna derivable a partir del axioma y donde sus smbolos pertenecen al alfabeto terminal y no termli se denomina: --e-sentenel~pleta b) sentencia c) proMc_in gi ninguna de estas _.5- -t,fr A.. -2) Defina i mmo simbolice la operacin de interseccin entre dos Lenguajes, L1 y L2, sobre un alfabeto Z. E 5 0 C57,1---.'~ gni. killloweh C > W.S. .. e- -e--1. ...- ..-- y......... e...,...1..ex . u j,. . .1.1).1.-., 1.r 96./Pt.1.<,-t). 1.1.11P-In.1 3) Qu diferencia a las Gramticas de Chomsky entre s ? r7 2 rP c/ ()

tr

4) 5)

El Autmata a Pila est relacionado con las Gramti A qu se llama Lenguaje generado por una Gramtica For oaf mbolice.

6)

Un smbolo No Terminal es Superfluo si no puede: a) derivarse desde el axioma c) generar la palabra vaca

obtenerse cadenas de terminales desde l d) ninguno

7)

El proceso de bsqueda de una derivacin S --> a aplicando una cantidad finita de producciones de gramtica se denomina: . 5:k.....y.--c.,....-t...? s., ..e...;.---Es posible disear un Al ritmo que determine en todos los casos si una gramtica cualquiera es o no e ambigua. ( erdader0 / Falso ) Qu Tipo de Lenguaje denota la Expresin Regular: (0+1) + tra 9,1 Enu s ?. me re seis palabras del Lenguaje. t.s. .... ke.....4._-_ ie. ....te,..._ su41-..... F__.d. 5..- D 1 1.1., = 1 ( O fb ( ci 1 0 Al (0404014 (o /040 izf) ( 01 oio fell o t (040101 O

8) 9)

10) Nombre dos utilidades o aplicac es de as v . - ,. .G.c..s-c, -"' ce-- - - 11-..-s:-.--..,9-. -, 11) La funcin de transicin de una Mqu n queda definida como f: PC x donde cada elemento representa: .... . 7.9....V.r. k.c:!-., .. s?: ( ... :.-.17......??-;.,z . 11! ............. .41g1.1.,7%-fid-4-. 4 -4 ..,....- t ehto LP q.4 esl.fi= ,o_ci,..4) .

st?

e -) Q

q,

12) La funcin e una Mquina de Moore queda definida cmo cy: , donde c,ach elemento repr: -: di" ..5.,..,-. .. nr5t-Rip...dp> k --- --A->-:- """A ..:t . kyf.4?- le. Gyvl:5-.?; Cv- .e.i c: ?"g oU( , 01 ) 11111 -4" 13) Un Autmata Finito (AF) en el que todos sus estados son accesibles desde el estado Inicial se denomina: a) Completo b) Determinista c) Configurado d) Mnimo Ninguno 14) Una clase de equivalencia de un AF Mnimo ser un estado final si . . k r.. /1. 1 -3.... 1 iy,,.. la 5 e7A-4,4.95, rA cyteb sle., -c.e-eta,...1- t~t op:../ . NI - syve-ct.... 0.. ett,Lhu 32. Gatw,

'11 -11. ..-

15) Si un AF tiene una transicin f(q, a) = p y p o F, la regla de produccin de la Gramtica asociada ser: a) p ::= aq, (I) q ::= ap, c) q ::= a, d) q ::= p, e) Ninguno de estos. 16) La funcin de transicin de un AFND en su forma ms general queda definida como oc --> q FrQ) f: PQx donde i cada elemento representa (.4.> y N) el -J1 -11.1., ye.-_,:.4:4 or c.: Ve11...?.7..a ra.-15-3,42,-.. CL-1 Cv..ay-. de I s 5 e.-"..115 O/..
se.:.. !R.

51

(4' es

e!!

..47.5k--41,40.?

4( --11-s- 01)
^'..-0,,w."3. C4~-a-

17) Qu es una transicin A ?

e 5 -.oil. v_._....",.....4.
(*;5--

e-. 514.,...cot r.0Sc kgx,

18) Dada una 'Relacin de Transicin A' T, Cmo se obtiene el cierre transitivo de la relacin, -r*?

W511194111s1

bstiw.10.-1-> Q sa Ve ll4 a Ge't krz .54.0. 19) Qu elementos componen el alfabeto de cinta de un AFD Bidireccional (AFDB) ?
VI "..- s1"...,M

C.t.`1.111..1511

(...tot Eca . )

20) La

1.1 3 4 41

Co nfiguracin o 9

escri Dpcin Instantnea

Q c Nial
-

e un AFDB est compuesta por;

1"- e-4'

Si necesita ms espacio para escribir sus respuestas, puede utilizar el anverso de la hoja. Ciclo lectivo: 2011 Turno: Maana/Tarde/Noche Hoja: 1
F0026-W-201102

de 1.

14-/z
)1(. Universidad Tecnolgica Nadonal Facultad Regional Crdoba Ingeniera en Maternas de Inforrnadn ALUMNO: 9 Gil 211.1P

ntardiy SernntiaiPARTETORIr'iEvalluadn.Parcit2:4

LenSIPAie

'0 7

/2009
.

cuRso: 2K. 9 11, Y mata con pila puede aceptar o rechzar cadenas de su alfabetIsle entrada: c. Sin leerlas. Slo al terminar de leerlas. Antes de terminar de leerlas. d. Leyndolas al menos cloS'<(eces.
. ;

{49:1P. . 9

LEGA:

5133

2) La configuracin de una Mquina/de Turing_est compuesta por: So l % za\

es el toi4 n(ritiI s teirkATia, , Pn. o>r4r):. .T1vrla. in tl rribual

, > ceptarZsuscadenas:Jie acuerdo 9 do$ criterios distintos: 3) Un autmata con pila puede a y ri,n,rik.,96 (VilCk ili:1c11 ;ei Ir ta.0 etk Ttekr, cien:A-a voceado 140- ,,

4) Para toda Mquina de tciring no determinista e Cardada Do - / Falso)

una , .deterriiirlista., equivalente. -!.;,.,:.-;

C AjA

5) Para todo lenguaje re ular existe un autmata con - pila:inMeterMinista que lo . reconoce. (Verdadero / Falso
,

Coildoerecho de 6) Una gramtica independiente del contexto (GIC) puedetennid S; 7s- ) ' as Ae ) 0.P. s.s. -15 1be sus producciones -.00404.0.) Ls - rboles_de derivacin en una GIC en forma,n0 al.deIborp9Igeson'; IDInariot ---

4:

=.111.941k11,

4'It411144-

s.111

t;r `

:) , s 5 A.

8) Una GIC en forme normal

de diomsky slernprei'est4yeffirrOdg: ) (yerdadero

;

9) Un analizador sintctico descendente tiehe`,.110,:to911:prigguccipri -g/:o: gramtica que '1703.e:da& la re8I implementa, una transicin,en su grafo _ ::%0:xdeou rlIce1)ori. de ha z -derhr acirypor la derecha de Pr Los analizadores sintcticos ascendentsyealiza9j :uhl 10) la cadena de entrada que procesan. ,F011.0) 11) 12) 13) 14) Un procedimiento es efectivo si sletrvre Rne sotutZoti:
-

La complejidad espacial de una MT es Un problema est en la clase NP si

soTh-

TInkt ccura.c)41. VTIVAeliSlacieMinifoo'!"'PYI.."-Pone-kb:c4

,

yttio , U3 rn. ritsidad fOi s ro l Una mquina de Turing se dice que es UniVersaisi.tieneiMsrrecursos de hardware que una convendonal. (Verdadero Kr_219 Un problema se dice que es "tratable" si frtne uji , i>tdr.OVIW;en4O.;o.u.nRuk 1.s;t no seo, eled indduz, Unalentecia alternativa.(19 sIrr.condicin lgica representa un error ,SernoxvkicQ .
'

El anlisis lxico separa 'el programa fuente en: Icten40ock;res - co m p one rrye s Q,3c.or .

La verificacin de tipos de una expresirrlarealiza el anlisis

,e

co

19) Explique la estrategia de recupraciri de error "a nivel' de fras e ":

U.T.N.

Sintaxis y Semntica del Lenguaje 1er, Parcial Prctico

ALUMNO:......

TEMA
E ercicio 1: Dado el siguiente AF, se pide:

a) construir el grafo correspondiente y su definicin formal b) . describe en forma enumerada, 5 cadenas que acepta el AF comenzando por la ms corta c) define en forma algebraica, el lenguaje que genera el AF d) convertir el AF a Gramtica, defina formalmente la gramtica e) construye el rbol de derivacin de dos palabras generadas por la gramtica, una de longitud igual a seis (6), y la otra de longitud Igual a cinco (5)

E ercicio 2: mata Finito para un sistema que necesita validar cdigos que son definidos Construir n ut 2, 3}. Estos cdigos no tienen longitud fija y deben cumplir las siguientes ZA = (0, 1, abetou sobre un alfa condiciones: cadena de dgitos debe estar ordenada en forma creciente b., Pueden faltar algunos dgitos (los dgitos 1 o 2 o ambos). c. Las cadenas siempre comienzan con 'O' y terminan con V. definir formalmente la mqu Se pide determinar las condiciones de error y glaindol x = 00012223 es una cadena correcta x = 00102223 es incorrecta (no cumple condicin 'a")tas de acuerdo a la condicin atr) x = 000223 y = 00113 z = 0333 caderitalScLUL( x = 00012222 y = 222333 (no cumplen la condidn*c")

Wercielo 3: Determinar si los siguientes autmatas son equivalentes a travs de la minimizadn, defina formalmente el AF antes y despus de haber minimizado:

Universidad Tecnolgica Nackinal Facultad Regional Crdoba Ing. en Sis-ternas de Informacin

EVALUACIN PARCIAL
SSL Terico Tema "A"

Curso: Fecha: Nota: Legajo

'Apellido y Nombres: 1.

. . en: a) el siglo XIX, La primer Mquina Abstracta fue presentada por mitad del siglo XX, c) la segunda mitad del siglo XX, d) Ningunkle estas. primer a

Al a ,... --R., ,riLlt

2. Para cada uno de los conjuntos de reglas de produccin indicados identifique el tipo de gramtica al que ertenecen, la denominacin y la forma normal en caso de que corresponda. .. Forma Normal Gramtica _ Reglas de produccin Nombre SilNo Denominacin Tipo A:=bAlaBlb, B:=aBlb .

12s2 p.., (c...1--l''_

1 , CCIILAt

to

A:=BC1DC1a1b,B:=8 A := bAlaB 1 b , B := Ba 1 b
aBbC := bCBbC , A := aBI a A := aBCD1bAB lb , B:= b aBbC := aCBAbbC , A := aBI a 3. Concepto

2_

Si

af.d)to_c 54/.A,

2(73

J.L-z lo
.S
311
- 1- '

- C 3 _&
-42.5 `C.:

. lk) 0
li\Jc..,

ki

J.

(-- 11 -t--c.=k 1 - -3

, C,-.),....1....- S' i/Lie>

nir-1=,:

1.,>:_4

k= X, A,S

aEET. X

aeI j..

Ab := C

ae(E N UET ) .1 X.

QxE E->Es

A :=Ab

Sentencia (a) Forma Sentencia! (a) Regla recursva

Regla compresora

x ->( ,

Regla no generativa
4. 5. 6. 7. 8. . t7 , Una sentenicia ly ambigua (C 2 h r -1:111 ai ir e/re uple Q, 4Z) En las Mquinas Secuenciales la funcin de transicin queda definida como a) f : Q e) Ninguno de estos. . 1 s E d) f : Q x 1 Q, f : Q x FE "") Q, c) f : Q x Una Mquina de Mealy se diferencia de una Mquina de Moore en : a) la funcin de transido n la e) Ninguno de estos. funcin de salida, c) El alfabeto de salida, d) El alfabeto de Entrada, n caso de que q =f (p,a ), En un AF el movimiento ( p , aw )1.- ( q , w) es posible : a) Siempre, '11.4 c) En caso de que p=f(q,a ), d) Nunca, e) Ninguna de estas. Dada una cierta cadena "a", se dice que el estado "p" es accesible desde el estado "q" si : a) f e (p, a) = q, fe (q, a) = p , c) Jefa , q) = p , d) Jefa, p) = q , e) Ninguna de estas. F = { s } puede 9. En un AF la aceptacin de una cadena a" a partir de un estado inicial "q" y donde representarse como (1 , ;?( ) 1* ( 10. La funcin de transicin de un AFD queda definido como St"9+ ') ) 11. La funcin de transicin de un AFND-A. queda definida )4z >< 12. La funcin de transicin de un AFDB queda definida 13. Las representaci9nesutilizadaI para moltrar el compprtamiento de Asitmatas ante ciertas cadenas de Funcin de salida 1

r(

a,

entrada son al-

etc,

cz.-1,404---J,

' si para toda palabra de entrada 14. Dos estados p y q de un AF se denominan los comportamientos a partir de los estados "p" y "q" son los mismos. Al par ordenado ( q , w) de un Aynde "q representa el esta= que se encuentra y "vf l la cade9a a 15.

9 Anlisis de un. compila 19. Las fases de l etapa e id C y ataforrna un sistelna destinado a otra plataforma diferente se 20. Un software que permite ejecutar en un mulador, d) Compilador, e) Enlazador, f) Ninguno denomina: a) Intrprete, b) Simulador

14 c>r 014.4. rad ser leda se denomina : t' 41.401 + 1A16. Si al minimizarse un AF. se llega a que Q/E = Q significa que 72(4411(.;31 .-e 4411 clq.d 1A. IM 17. Un AF mnimo e's aquel que contiene lee un programa objeto y genera un programa ejecutable se denomina: a) Compilador, b) Av 18. El mduloe estos. Enlazador, d) Administrador de librera, e) Debugger, 9 Ninguno Intrpret

A.2k

5c r C

Universidad Tecnolgica nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin

EVALUACIN PARCIAL 551 Terico Terna "B"

Curso: Fecha: Nota: Legajo .

Apellido y Nombres:
1. 2.

en: a) el siglo XIX, (--) i 1-1 La primer Mquina Abstracta fue presentada porae-47 una de estas. primer mitad del siglo XX, d) N g b) la segunda mitad del siglo XX, Para cada uno de los conjuntos de reglas de produccin indicados identifique el tipo de gramtica al que pertenecen, la denominacin y la forma normal en caso de que corresponda Reglas de produccin aBbC := aCBAbbC , A := aB A:=BCIDCIalb,B: = a A:=bAlaBlb, B:=aBlb A:=bAlaBlb, B:=Balb A := aBCD I bAB b B:= b aBbC := bCBbC , A := aB I a

Tipo

Gramtica Denominacin

Forma Normal Nombre SUNo

1~5~ 1 !..111r4~ 15111

1\10

11~1~

3.

Marque con una cruz las filas y columnas que estn relacionadas entre s: aeL- r+ A := Ab cte(ENUET)' Qx,E--)Es Ab := C A:= I, Concepto Sentencia (a) Regla compresora Regla recursiva Forma Sentencia! (a) Funcin de salida Regla no generativa En las Mquinas Secuenciales la funcin de transicin queda definida como e a) f : O -) e) Ninguno d estos. d) f :Q x EEG Es. -i O, f :O x Z E -). O, c) f : Q x E s Una Mquina de Mealy se diferencia de una Mquina de Moore en : a) la funcin de transici, de estos. d) , El alfabeto de Entrada, e e) Ninguno funcin de salida, c) El alfabeto de salid , c-L' k-( 4P---.1 ill 4 g__, 3 ad wt , U a - 1 tenda es a bigua si En un AF el movimiento ( p , aw ) I ( q , w ) es posible : a) Siempre, b) En caso de que p = f ( q , a ), 7. n caso de que q = f ( p , a ), d) Nunca, e) Ninguna de estas. (p, a) = q, Dada una cierta cadena 'a", se dice que el estado "q" es accesible desde el estado "p" 8. e (a, p) = q , e) Ninguna de estas. b) f e (q, a) r-- p , c) fe (a , q) = p , d) l _., ----7La funcin de transicin de un AFD queda definido como G/ '> 9. - (3. X 10. La funcin de transicin de un AFND-k queda definida 7> 2ri 11. La funcin de transicin de un AFDB queda definida En un AF la aceptacin de una cadena a" a partir de un estado inicial "q" y donde F = ( s } puede 12. ;1 ). representarse como (14, 9( ) I--- .( 5, .de AutmAtas .nte ciertas ,4:dena de Las representaciotnes uti4adas par mostrar el comportarnie to Q.4.4 " t 1C 13. -et ci'dzza) y cou r-Locil entrada son al' si para toda palabra de entrada x" 1-044.4, de un AF se denominan ' .E'' 14. Dos estados p y q los comportamientos a partir de los estados "p" y ki" son los mismos. en que se en centra y don e "q representa e l e.- ado 1 i4 G). Un 15. Al par ordenado ( q , w) de un Al O 1,..4. 0 ijN ser leda se denomina Si al minimizarse un AF se llega a que Q/E = Q significa que 16. (-U. ..-0--ec 17. Un AF mnimo es aquel que contiene 141 18_ Las fases del la, etapa de Anlisis de un compilad y e \- ce .l. 1s
"-

4. 5. 6.

El mdulo que lee un programa fuente y genera otro programa fuente se denomina: a) Compilador, b) 19. Intrprete, c) Enlazador, d) Administrador de librera, e) Debugger,allilinguno de estos. Un software que permite ejecutar en una lataforma un sistema destinado a otra plataforma diferente se Ninguno 20. muladar, d) Compilador, e) Enlazador, f) . denomina: a) Intrprete, b) Simulador,

.4.4t z

:...edra de Sintaxis y e'"'"'")':jernntica de Lenguajes

ler Parcial B

Nombre : kGl)i Currso : ZK q

ba<kicuw E Ley . si a

o..oden con los 1) El conjunto W(I) que contiene todas las palabras o cadenas que se pueden , formar smbolos del alfabeto E se denomina C, 1/1 nv_ce oic d S, niiho(cc PWilin 2) Se define una palabra vaca X como (.)C\ S; NI bz,lo che 179-)( 3) La Clausura positiva de un Lenguaje L se forma por la unin de todas las potencias de L: a) Incluyendo la potencia cero, b Excluyendo la potencia cero, c) Incluyendo solo potencias pares, d) Ninguna de las antenores9 d) Ninguno W(E) = 4) Dado E es correcto exor-san -) W(E) = r, b)vv(1). E* ) y sus significados ZN , S , 5) Los componentes de una Gramtica Formal son: G= Aer Ani ut cite 1" 4,A , S1.1snh.-,10; -k-e_rm s ocAP( son: c1,)(r,i'n y Ce3 ldc ck.2 i dr/ O xi ow o 6) Una cadena derivable a partir del axioma y donde todos sus smbolos pertenecen al alfabeto terminal se denomina: a) forma sentencia!, ssentencia, c) produccin, d) ninguna de estas 7) Las Gramticas Tipo O de Chomsky son denominadas 6 re_sfr; 8) Las Gramticas Tipo 2 de Chomsky son denominadas ,;,v:IP ()e d1 cj,fe n 4es- rae I Co A -4e k40 9) Una Gramtica cuyas reglas de produccin tornan la forma A ::= p, donde 3 E (ETUZN)* y A f) e IN se denomina: 10) Una Gramtica cuyas reglas de produccin toman la forma xAy ::= x(3y, donde x,y,P E /1-* y A E EN se denomina: <Upe Tete vt-If cid com 4-e x 4n-, 4-; rn 4 ) 11) Una regla de produccin en la que un mismo smbolo no terminal aparece en ambos lados de Recursiva, d) Compresora, la expresin es: a) Ambigua, b) Recursiva en ms de un paso, e) Ninguna de las anteriores. nr19,)\.e y 12) Se dice que una sentencia es ambigua si ex malicida '11)r cli fi A
-

.ci e de fiUCa(iCV1
-

Ei V1 471(

13) La funcin de transicin de un Autmata Finito Determinista queda definida como all-Wreka 1- r-, \IA1rr, esAzic6t, c..0474,1 , donde f: (12 x

?,-1-rodo Pos, u ronc,(1,-,

9i ./ (1,5-k 9 AG

elAkr0 C4Ct

se (-)0(GICI G kAn ef\aad

kev, el d 14)Se dice que dos autmatas son equivalentes si y slo si 15) Dada una cierta cadena "x", se dice que el estado "p" es accesible desde el estado "q" si : a) f(q, x) = p , c) f(x , q) = p , d) f(x, q) = p , e) Ninguna de estas. f(p, x) = q ,
//2. 16)La funcin de transici n e un Autmata Finito No Determinista queda definida como d,z , donde a .5;9 1,v).,,c, o f: Q x ns ) 2.) Q ltdo e Ii cti om c &P er, (nr Z-A ir(G Ci n ,Isnix91,z 4 coi-code, 17) Un Autmata Finito que contiene estados queio son accesibles desde el estado inicial se No conexo d) Mnimo, e) Ninguno denomina: a) Incompleto b) No determinista 18) Ningn AFND tendr un AFD equivalente ( verdadero / 19)Si un AF tiene una transicin f(q, a) =p y p E F, la regla de prod ccin de la Gramtica Ninguno de estos. d) q ::= p, asociada ser: a). q ::= ap, b) p ::= aq, c) q ::= a, 20)Si un AF tiene una transicin f(q, a) = p y p e F, la regla de produccin de la Gramtica e) Ninguno de estos. asociada ser: g q ::= ap, b) p ::= aq, c) q ::= a, d) q ::= p, 21)Si una Gramtica tiene una produccin A ::= aB, la transicin del AF asociado es a) f(A,a) = \.) F, Q f(A,a) = B, c) f(B,a) = A, d) Ninguna de estas. 22) En un Autmata Finito AFD = (Z, Q, f, qo , F) los tres componentes que tienen una relacin de e.c i-ricbC (0) . , ya que (Deri,erv co y) oil cov ovvio pertenencia son: (9 , 10 y k.l 23)AI par ordenado (q, w) de un AF donde "q" representa el estado en que se encuentra y "w' la cadena a ser leda se denomina: a) Movimiento, b) Produccin, @Configuracin, d) Ninguna por un AFD. ac.e(,--k -rulq \.) 24)Se dice que una palabra x tal que f'(qo, x) e F es V
-

25) Las operaciones que permiten definir nuevas expresiones regulares ER a partir de otras ER son: a) Suma, resta y concatenacin, b) Suma, interseccin y concatenacin, c) Suma, concatenacin y cierre *, e) Ni na. Suma, interseccin y cierre*,

24/5 /2,5

( 0( ez

!I diar1.u.7.p4...s..s.L. 4 -7~0: ..... .2k,Lii.iY...........

ler.Parcial prctico j.9 ..... ...... .4..5 ......................... atA .2.15j2_ -cicio 1: Dada la siguiente gramtica: . ,=({0,1),{A,B,C,D),A,P) P = { A::= OIC / OB B::=00/ ID C::=I1/ OB D::=0C/11)

2K .. . ... Legajo N ...S.!, .c

&pide:

ctos que presentan - ,Cada cadena (siempre cuenta haycon un smbolo un prefijo como formado mnimo) por "a" o "b" o ambos, ej.: aa, aaa...., b, bb, bbb...., ab, ba, aba, las --r i baa... Al prefijo le continan un nmero impar de 1 (unos) - Finaliza cada cadena con un nico smbolo "c" Ejemplos de del AF lepide: grato cadenas yefm del lenguaje:c", "ab I I! c", "bbbb I I I I I c", "ab 11111c", "bablc", "abaallIc", etc. dicin formal
---

a) Identifique el tipo de b) gramtica segn lajerarqua de Chornsky (5%) Demuestre mediante derivacin las siguie ntes s entencias x="01000" y=t0I011" (5 % c/u): c) La cadena z = "0111" es ambigua, demustrelo con los rboles correspondientes (10 %) ~ciclo 2: Disear un AFD .. que sigVientes caractersticas: reconozca el lenguaje que corresponde a cdigos de p rodu

O% rercicio 3:

Dado el siguiente Autmata Finito No Determinista se

a)

delAFND y el grafo correspondiente (5%) b) demuestre si la cadena x = "010" es el AFND (5%) aceptada o no por c) convierta el AFND a AFD (15%) d) definicin formal del AFD, grafo y tabla (5%) 10y92~ Describir el mismo lenguaje reconocido por involucre operaciones entre lenguaje; definidos sobre el autmata del ejercicio 2 co una expresin que los alfabe tos que ud. considere necesarios.

pide: definicin formal

U. Z.N. S.S.L. ALUMNO -

eZ. o
-

TEMA 1 - 1er. Parcial prctico

2K Legajo N

)Efercicio 1: Dada la siguiente gramtica: -n{0,1},{A,B,C A::= 01C / OB P= B::=00/1D C ::= 11 / OB D::=0C/11) Se pide:
a) Identifique el tipo de gramtica segn la jerarqua de Cho b) Demuestre mediante derivacin las siguientes senten x = `(:)1000" y = "01011"

Ifitz

])

c) La cadena z = "0111" es ambigua, demustrelo con los rboles cOrrespondientes ( % Vercicio 2: Disear un AFD que reconozca el lenguaje que corresponde a cdigos de productos que presentan las tguientes caractersticas: - Cada cadena cuenta con un prefijo formado por "a" o "b" o ambos, ej.: a, aa, aaa...., b, bb, bbb...., ab, ba, aba, baa.... (siempre hay un smbolo como mnimo) - Al prefijo le continan un nmero impar de 1 (unos) - Finaliza cada cadena con un nico smbolo "c" Ejemplos de cadenas del lenguaje: "a 1 c", "abl I 1c", "bbbb11111c", "ab11111c", "bablc", "abaa 1 1 I c" Se pide: grafo del AF y definicin formal

(30%)Eiercicio 3: Dado el siguiente Autmata Finito No Determinista se pide: a) definicin al del AFND y el grafo 0 1 I. correspondien b) demu na x = "010" es aceptada o no por P P,9 P,9 el 9 r q,P 9 c) convi *r AFND a AFD e) r p _ d) definicin formal del o y ta %)Eiercicio 4: Describir el mismo lenguaje reconocido por el autmata del ejercicio 2, con una expresin que involucre operaciones entre lenguajes, definidos sobre los alfabetos que ud. considere necesarios.

SSL ler Parcial 2006

Nombre :

PRACTICO - B
ie
lCi0

Curso :

No. 1
B}, S, P) donde P = S:= OB / 101:= 0 / OS /

Considere la gramtica G = ({0, 1}, 1AA, B:= 1 / 1S / OBB }. Se pide:

a) Identificar el tipo de esta gramtica v f-D - b) Convertirla a forma normal de Chomsky 54'0 c) Obtenga una derivacin para la palabra c= dltostilla con la gramtica original ti--d) Obtenga la misma derivacin con la Gramtica normalizada j e) Represente los rbol binarios de ambos casos CC Ejercicio No. 2 Construir un A.F.D. que acepte el siguiente lehguaje: L = {a ck / it>= >= j >=0; t k =24
'

Lo)

a) Representar formalmente el AFD b) Representar su grafo

so

Ejercicio No. 3
Encontrar un AFD equivalente al AFND que se representa. Representar los grafos de ambos autmatas y mostrar la aceptacin de una cadena de largo cinco (5).

INF
SSL 2 Parcial Terico 2007

Nombre :
Legajo Curso

Tema A

Y
1.. . (...;

Matemtico del Siglo Lingista del Siglo XIX del Siglo XIX d Lgico ) Discpulo de Naam Chomsky ((Verdadero" Fal Un ALA puede reconocer lenguajes dependientes del contexto. 2. Prximo Estado, Entra En la definicin de una MT, " f incluye en realidad tres funciones que definen 3. d) Pr) c) Entrada, Salida y Movimiento ( Prximo Estado, Salida y Movimiento l) Movimiento Alan Turing es un:

:9

4.

5.

6.

Estado, Entrada y Salida Una Mquina de TuriUniversal ( MTU ) se caracteriza por : a) Disponer de varias cintas o v c) Ser la combinacin de varias i n terpretar otras MT descriptas en su cinta cabezales d) Ninguna de sta. a) sus datos estn acotado=. Puede establecerse una analo a entre MT y programa parque en ambos: c) un proceso que las relaciona y xiste una entrada, una salida un factor exponencial d) no existe analoga salidas estn acotados por un ctor logartmico se es ait ge ui En la 'Configuracin' de una MT el vector "y" representa el contenido de la cinta y su caracters (6ica b) Solo su largo se altera a) Este vector no se altera los sucesivos movimientos :

>c. 8.

largo y contenido (Se altera slo su contenido. Si se define una funaln de transicin apropiada es posible que una MT emule a un AF y en general a cual /571 Mquina de Estados (V- ro / Segn el isomorfismo planteado entre Mquinas y Gramticas, podemos relacionar las MT cc "12. a) Gramticas Independientes de Contexto 01Gramticas con Estructuras de Frases c) Graml d) Gramticas Regulares Dependientes de Contexto Si se desea representar un APila can una MT convencional se debe : a) Incorporar a la MT una memoria di 9. d) Ninguna de estas. c) No es posible hacerlo Utilizar parte de la cinta de la MT como una pila d) Aleatorio. c) Secuencia! LIFO @FIFO (p_. a memoria auxiliar de un APila es de tipo: >4' 10 ;insinm ti.niez, irriiC.:z d0.2C-rli pcidrn 11. En un Autmata a Pila la terna ( qo , w , Ao ) representa la donde qF EF rn -len e 13rix1 imsf 1 do..hcnifY-:rn la terna (qF , , Ao ) representa la . 12. Un APila Determinista se caracteriza por a) No tener transiciones A b) Poder transitar a ms de un estad Ninguna de s un mismo smbolo de entrada y smbolo de pila e Poder transitar slo a un estado 13. Segn el isomorfismo planteado entre Mquinas y Gramticas, podemos relacionar os APila con c) Gram, b) Gramticas con Estructuras de Frases Gramticas Independientes de Contexto d) Ninguno. UDependientes de Contexto d) Gramticas Regulares 7.

#S a) A=S 16. Una Gramtica se dice que est bien formada si : a) Est limpia y no tiene simbolos superfluos b) Est y no tiene reglas innecesarias c) Est limpia y no tiene reglas innecesarias ni de redenominacin e .. de redenominacin 4..."limpia y no tiene reglas no generativas ni 17. En una Gramtica Independiente de Contexto en la Forma Normal de Greibach: a) Los lados derechas de las producciones contienen solo terminales b) Los lados derechas de todas las producciones contienen s x./. terminales c) Los rboles de derivacin son binarios (3 Las reglas toman la forma S := an S := a dond
Ly-'15. En una Gramtica una regla A::= A es no generativa cuando:

14. Se denominan smbolos inaccesibles a: a) Terminales no alcanzables desde el axioma t c) Terminales que nunca - intervienen en las ca Terminales no alcanzables desde el axioma d) No terminales que no intervienen en las sentencias (/

18. En una Gramtica Independiente de Contexto en la Forma Normal de Chomsky : a) sus reglas de pro& b) Las lados derechos de tod toman formas tales como : A := bC donde A , C e ZN y b e ET (..7: in sus reglas de produccin toman formas tales como : A producciones contienen solo terminales las producciones contienen solo no terminales d) Los lados deretfios de donde A , B y C e IN . . 19. Los Analizadores Sintcticos LL deben su nombre a que : a) Leen la entrada de izquierda a derecha y r las derivaciories por la derech.a @Realizan las derivaciones por la izquierda y leen la entrada de deri d) Ninguna de izquierda& Leen la entrada y realizan las derivaciones ambas por la izquierda A n a I iz a d o r LR b) Analiza 1.../ 20. La denominacin de 'Analizador Sintctico Ascendente" se refiere al : c) Autmata Finito Reconocedor d) Ninguna de stas. a) un abritmo nunca termina ...., - 21. La distincin entre un Algoritmo y un Procedimiento est dada por Ninguno de stos. c) un procedimiento es siempre algortmico procedimiento siempre termina La Tesis de Turing postula que toda procedimiento efectivo puede realizarse con una Mquina de 22.

todas

/1/4.s'. 23. 24.

) / Falsa). (IlLttadelg La medida de la Complejidad de Shannon se basa en fas Producto de estados x smbolos b) Prod, intervalos de tiempo x srnholos c) Producto de Estados x ntervalos de Tiempo. d) Ninguno de stas. En una MT, la Complejidad Temporal y la Complejidad Espacial se refieren respectivamente a la canti c) tiempo y requeridos para un clculo: a) tiempo y celdas b) pasos y estados

(.7

Opasos y celdas 25. El hecho de que un problema tenga solucin o no se relaciona con el concepto de : a) Complejid d) Ninguno de stas c) Computabilidad y Complejidad Computabilidad o calculabilidad

sintaxis y Semntica de Lenguajes - 2009

SSL

1 Parcial Terico 2009 REC

1 e di:57 (

ornbre,

: IL, c..2 S ri - 11 orrrLi 2

Curso : 21-c9 1) Noam Chomsky es: a) Matemtico Ingls contemporneo, e Lingista Americano contemporneo, c) Matemtico Ingls del Siglo XIX, d) Lingista Americano del Siglo XIX, e) Ningima de estas. 2) Una cadena derivable a partir del axioma y donde sus smbolos pertenecen al alfabeto terminal y por terminal se denomina:0 forma sentencia!, b) sentencia, c) produccin, d) ninguna de estas. ." Las reglas de produccin son tambin denominadas r ej.125" Los componentes de una Gramtica Formal son: G= decee_scrit rzy

3) 4)

itrrnirrjej ;
Cmo estn relacionados entre s? 5)

.21f
5 a Zi r
-

(te , que represe o -term males- - 5: xikm a (2 ry u 2, Z (1 7 r

-

6)

Una regla de produccin en la que un mismo smbolo no terminal aparece en ambos lados de fa expresin_ es: a) Ambigua, b) Recursiva en ms de un paso, (Recursiva, d) Compresora, e) Ninguna de las anteriores. ,." Las Gramticas Tipo O de Chomsky son denominadas -,i r-\ ce..s-tri cuco-le...S

7) Una Gramtica cuyas reglas de produccin toman la forma A ::= 6, donde 6 g (ETUEN) . y A E EN se denomina: In de i-unr!'?th4e, dd / cmlle x4, (Tipo 2 ) 8) Una Gramtica cuyas regias de produccin toman la forma xAy ::= x6y, donde x,y E (ETUEN) * , (ETUEN) + y A e EN se denomina: A epundte_edk, de( c,,,-ius-i-e, (Tipo J- ) 9) Se dice que una sentencia es ambigua s exi 54-e, yAS

11

.s-

has-1:a. eh .

ck, vr12.-

deriVd-ci;1

kldt_. e] hciorrk 1,

10) La primer Mquina ab cta fue presentada por en: a) el siglo XI f:7))a primer mitad del siglo XX, a segunda mitad del siglo XX, d) Nii una de estas. 11) La sintaxis del lenguaje Java es descripta por una gramtica
"Tifes 2.

12) Dada una cierta cadena 'x", se dice que el estado ^p" es accesible desde el estado q si : a) f(p, x) = f(q, x) = p , c) f(x , q) = p , d) f(x, q) = p , e) Ninguna de estas. .13) Un AF es definido como AF = ( Q

de-

-Ir ad 2 9:

, F ). Describa los componentes: ZE, a If

e...,54-actID
"

F:

eonl uelf- e

de_ .51-ad
rinqui .

ic.41(

-hd,s

r:

14) La funcin de transicin de un AFND en su forma ms general queda definida como P(Q) donde q: c.r.jon-ra de_ e.5-19c105 7.F (fa.cf.,, de_

(s_ 4 {)s5)
e(Q)
:

f:

x
e,-1-

ro feno,a
ker-

elf
al )

15) La configuracin de un AF queda definida como C = ( 16) Las Mquinas Abstractas relacionadas con Gramticas Tipo 1 son los

donde

e-3'12,do

-0401.?,-Lr. Line>1), tr+e

fria-

A-c.-kat 4?
-

17) Las Mquinas Abstractas relacionadas con Gramticas Tipo 2 son los Pik,-1:10,-h-17.s- a18) Se dice que dos autmatas son equivalentes si y slo si
re_c4.11(cr,

7
rr

eJ

rn;rrn-t.

)en uz-

19) Un Autmata Finito que contiene estados que no son accesibles desde el estado inicial se denomina: a)/ Incompleto 17) No determinista @No conexo d) Mnimo, e) Ninguno
f/--

20) Al convertir un AFND en un AFD equivalente, las cantidades de smbolos de entrada y estados: a) ambos / aumentan, b) los smbolos aumentan, O los estados normalmente aumentan, d) los estados siempre disminuyen, e) Ninguno de estos.

SSL PARCIAL No 1 04/05/2002 TEMA 2

-

NOMBRE : LEG/CURSO :

1. Dada la gramtica G=( (0,1},{S,A,B,C},S,P ) donde P= {S=OBA, A.:=0 jI3C, B:=CO 01 I 1.,C.-0 )se pide: A) Indicar a que tipo segn Chomsky pertenece. - y) Obtener la gramtica bien formada. C) Derivar 3 cadenas y representar sus rboles sintcticos. 2. Se desea hacer el traslado de vehculos del puerto de Es As a Erask por medio de un seMoto de transporte que consiste ea un barco que puede soportar hasta 10 toneladas, cada vehculo se define corno: Automvil:. 3 toneladas, Furgoneta: 6 toneladas,' Camin: 8 toneladas. El problema consiste en determinar todas las posfilles caigas que el bir~ resistir incluso sin llegara la deltdoin foportakkgrafia. carga mxima. Representarlo por medio de un Autmata Finito. y un roble. Siempre vienen lq 3. Diseflar un Autmata con Pila que lea de la cinta de entrada una i:adenlzformada por 1 13 elementos. El AP debe realizar la operacin AND entre cada par de 1,0 del:lvte, La cadena eh aceptada s el roble que viene despus del es la imagen refleja del resultado de las operaciones AND:rt'sli7qslan..C.tna.Side0.el estado de error. Realizar la tabla opeiativa de la cadena que se da como ejemplo. La tabla de la funcin AND e la siguiente: AB AND Ejemplo. 10 11 10 10+0010 00 O 0100 01 O
10 11
i

SSL - r Parcial Terico

TEMA 4

Nombre:

/ Curso : "

1 Se dice que una sentencia es ambigua si distintas derivaciones. de ella dan lugar 2 Por qu el Lenguaje Vaco 0 no es lo mismo que ( 1 ? 3 En una Gramtica luden. del Contexto, una regla A =1 siendo A S se derloSnina 4 Bajo qu cndiciones L* = ? (L no es vaco) 5 El estudio de cmo combinar las palabras para formar frases se llama 6 Exprese dos caractersticas de la palabra vaca. 7 Una Sentencia se diferencia de una Forp2a Sentencial en que en la primera 8 DadosA.(a,1},B=(1.}yC={a}.MostrarqueA(BC)A.B.-. -A..e: 9 Ala aplicacin de una cierta regla de produccin x := y se la llama ...VO"' 111 c -xj f* 10 Obtener todos' los prefijos, sufijos y subpiLibras de la palabra "sor' 7 . Prefijos Sufijos Subpalabras 11 La diferencia entre MquinasSecuenciales y Autmatas Finitos est dada por 12 Se reconoce como Conjunto Cadente a un agrupamiento de estados que ....10,....equ.vrakrkt"
X' 13 Los Lenguajes Tipo 2 son reconocidos por mquinas denominadas Pd lr'# ,14 La Configuracin de un AP queda definida como ' donde 11 6 5 A partir de la funcin de transicin de un AP se determinan X X 16 La diferencia cree Mquinas de Mealy y de Macre esta dada por 17 ( qa, 0011,1,) 1 ( qF, , ao ) representa cr^ 18 Dos AF son erra. eran cuando -V. 19 Una clase de equivalencia de un AF !taima ser un estado final si J! ,"." s -te . ........ . ........ . .... ... 20 La diferencia entre un AF Determinista y uno N Determinista est

... :

1er. Parcial Prctico

SINTAXIS Y SEMANTICA DEL LENGUAJE - Tema

Nombre:

\a0 eget
-

:\ Ly

1?)

iS

Curso:

Ejercicio 1: Dadas las siguientes gramticas:

G1=({0,1},{S,A,B,C},S) P1: S::= OA / 1B ' A:=0/1B 13::= OC / 1 C::= 1 G2-1{a,b},{C,D.E,F},C) P2 = C::= a / bD bD::= aEb / bb 1)::= a / b Eb::= a / F F::= ba/ abb G3=((0,1),{S,G,H},S) P3= S::= OG / 10H G::= OH1 / 10 H::= 00 1 1 G4=({0,1},{Q,R,S},Q) P4= Q::= OR1 / 0S1 OR1::= 011 / 081 051::=0001 / 001

"e: e pi

a- Clasificar as car segun Chomsky cada una de las gramticas b- Obtener el Lenguaje de la gramtica Tipo 2 mediante rboles sintcticos

Ejercicio 2: Dado el siguiente AFD, se pide: c- Obtener la gramtica correspondiente al AFD d- Definir formalmente la gramtica e- Minimizar el AFD realizando los conjuntos cocientes correspondientes f- Definir formalmente el AFD minimizado, grafo y tabla

-->a *b c 'd e

0 c e a b d

1 b c b e b

Ejercicio 3: Una empresa desea automatizar su plataforma de carga de camiones, el objetivo es distribuirla uniformemente, ya que se opera con cajones grandes (g) y chicos (c). Para ello se distribuyen por el peso de cada uno, los cajones grandes llevan un peso de 15 kg y los chicos de 5 kg, se agrupan los cajones en cargas de 30 kg donde se apoyan en una bscula antes de la carga final a los camiones, los cajones vienen en cualquier orden en la rampa de ingreso. Construir una AFD que permita aceptar las cargas correspondientes con el peso exacto y rechazar las no permitidas por el peso. Se pide: grafo y definicin formal.

g;
: I

F.-rack- 4'c

: !
: ,

I i i I

pi iSVi i i
1 i , , . , . ,, , . . . . . .: lig :

zi r i 1 1,40 ! o "r i ! ! ,G -2.,1 , ,. , : 1 ., i, , ; i

1;

i : .: ., I :". . J..: .1. i-;,,,,.;:, . 1.; ' Li-1 : , : : ,, , . : b r; ! , , , ..

. ,

.. '

i !' ,, .

. ..

!O

4 ' ,' : '2.1 11:. i 1

! t 1
1 i

. .1_ (. ..,1" II) t t b o : vi , 1013!

t
1 I 1 I
1

1" ;.'".
Td 1 J..1114 '/-'4 S -I ; I i s l 11(1" I i I I 1 I , : I- 1 j 1

1 -1 '.1.

i i I

i
1

'

, - :i!!!,!:"1!
i i ' i ' 1 t L i i

ii,:;! ,

. s

14
r . I. N1 1 i

: 1 i 1

i- 010 ' i( 1 101 i i ;1000! I : t

90 - Di. 1 1 I 1 .1 1 11 .1 i 1 : ,4 1 1 I 4 4 -I 1 1 "'"'"!" 1- 1"1 1 i -- Li I

;

it!iii:Iliiill; t i : 1 . 1 _i :1 ,,,e1. 611= : 4 ! 1i I1, I I 11 1 I 1 ! I ; I 1 i 1 I1 I I 1 11 ,.

.

s : s i i ! .` s : s i

.1 1 : P,..CS i3 i : 1.....1
! /i

, ;

.1

. . 1 1
I
,

.,

....

i5c..! !
Oleiiii..!

'
D 41 , f.a,6

11P )

i iCIllijlb . ici. bine.; Iii1,!ii:til I. . d

, .

6 ;11

(10,o)

e e9
e.

Q/

lo 3

--1.

s c)e3 ,

C1! I ; .

03

9 l e.
Ce,

C z,
p , o)
( go 1)

b E.CO

ce
e co
I .

(c,) ...:bco (5, 0) d

:=1 *!=> CC :
; * /

1.12 3 C 1
I
. !

Cti C4,

91

A?

tat 62 5 - J6k2

ci

;c ) Co
!

1-41 ci 0.9
:
i

Ca C*' :

:1;
t
'

- 5 k1

.5
'

I
I