PROCESADORES DE LENGUAJE

Transcripción

1 PROCESADORES DE LENGUAJE Ingeniería Informática Departamento e Informática y Anáii Numérico Ecuea Poitécnica Superior e Córoba Univeria e Córoba Curo acaémico Hoja e ejercicio nº 1.- ANÁLISIS LÉXICO Afabeto, paabra y enguaje formae 1. Obtén a paabra e ongitue 1, 2 y 3 e o iguiente afabeto: 1 = {a}, 2 = {0,1}, 3 = {if, then, ee}, 4 = {a, b, c, } 2. Inica cuá e e contenio e enguaje univera * efinio obre e iguiente afabeto = {a, b, 1, 2} 3. Dao e afabeto = {a, b, c}: Se efinen a iguiente paabra o x = ab, y = bba, z = cb Reaiza a iguiente operacione o xy, yx, x(yz), x z, z y 0 x, x 2 y z 2, (x y) 2 4. Dao e afabeto = {a, b, c}: Se efinen o iguiente enguaje formae o L 1 = {a, aa, aaa}, L 2 = {a, b, ba, bc} y L 3 = {, a, b, c} Reaiza a iguiente operacione o L 1 L 2, L 1 L 2, L 1 L 2, L 1 - L 2, L 2 - L 1 o (L 1 ) 2 o L 1 *, L 3 + o L 1 (L 2 L 3 ) o (L 3 - L 1 ) (L 1 L 3 ) 5. Dao e afabeto = {a, b} Inica o enguaje L 1, L 2 que verifiquen que o (L 1 L 2 )* L 1 * L 2 * Inica o enguaje L 1, L 2 que verifiquen que o L 1 L 2, L 2 L 1 y (L 1 L 2 )* = L 1 * L 2 * Inica tre enguaje L 1, L 2 y L 3 e forma que o L 3 (L 2 - L 1 ) L 3 L 2 - L 3 L 1 6. Sea = {a, b} y L * e un enguaje efinio recurivamente e a iguiente forma: a) L b) Si x L, entonce a x b, b x a L

2 c) Si x, y L, entonce x y L ) No hay naa má en L Demuetra que: o L = { w w * w contiene e mimo número e ae que e be} o Si b, L Qué má paabra hay en L? o Da una efinición recuriva para que L * contenga toa a paabra que poean obe número e ae que e be. 7. Si carina(l) no inica cuanta paabra poee un enguaje, comprueba i e cierta o faa a iguiente afirmación: carina (L 1 L 2 ) = carina(l 1 ) carina(l 2 ). Si e cree que e faa, póngae un contraejempo; i e cree que e veraera, emuétree. Expreione reguare 8. Inica aguna expreione reguare que e puean efinir obre e iguiente afabeto = {a, b, 1, 2} 9. Inica cuá e e enguaje enotao por a iguiente expreione reguare efinia obre = {a, b}: a) a a* b b* b) a (a* + b*) b c) a (a + b)* b 10. Dao e afabeto = {-,., _,a, b, c,, z, A, B,, Z, 0, 1,, 9} y a iguiente efinicione reguare o ígito = o cero = 0 o numero = cero + ígito o punto =. o guión = - o ubrayao = _ o etra = a + b + + z + A + B + + Z Inica cuá e e enguaje enotao por caa una e a iguiente expreione reguare: a) número numero* punto número* b) número * ( punto + ) c) (cero + ígito número*) punto (cero + número* ígito) ) etra (etra + número)* número 11. Define expreione reguare que enoten o iguiente enguaje formae efinio obre e afabeto = {0,1}: a) L 1 = { x x * x óo contiene o cero y un número inefinio e uno} b) L 2 = { x x * x contiene a meno o cero conecutivo} c) L 3 = { x x * x contiene un número impar e cero y un número inefinio e uno} ) L 4 = { x x * caa cero e x e eguio inmeiatamente por 11} 2

3 12. Ecribe expreione reguare que enoten o iguiente enguaje efinio obre = {a, b, c} a) Paabra que comienzan y finaizan con a etra a. b) Paabra que comienzan o finaizan con a etra a (o amba poibiiae). c) Paabra en a que a a, i aparece, iempre precee a a b. ) Paabra que tengan un número impar e ae. 13. Define expreione reguare que enoten o iguiente enguaje efinio recurivamente: a) L. Si x L, entonce aax y xb on paabra e L. Sóo etán en L a paabra obtenia meiante a premia anteriore. b) L. Si x L, entonce abx, bax, aax y bbx on paabra e L. Sóo etán en L a paabra obtenia meiante a premia anteriore. 14. Ecribe expreione reguare que enoten o iguiente enguaje: Número naturae que no contengan o o má cero a principio: 0, 10, 121, Número pare. Número impare. Número reae con formato e punto fijo o con formato e punto fotante pero que no tengan cero uperfuo, e ecir, o on permitio o número e tipo 0.0, 132.0, 0.526, , o pero no on permitio o número e a forma 00.12, , , Coniera e iguiente cóigo ecrito en e enguaje C que impementa e métoo e orenación e She: #incue <tio.h> #incue <maoc.h> #incue "macro.h" /* Longitu maxima -1 e o nombre */ #efine NUMERO_CARACTERES 20 voi he (truct ficha_perona *ato, int n) { int,i, banera; truct ficha_perona auxiiar; = n; o { = / 2; o{ banera = 0; i = 0; o { if (ato[i].ea > ato[i+].ea) { trcpy(auxiiar.nombre,(ato+i)->nombre); auxiiar.ea = (ato+i)->ea; trcpy((ato+i)->nombre,(ato+i+)->nombre); (ato+i)->ea = (ato+i+)->ea; 3

4 } trcpy((ato+i+)->nombre, auxiiar.nombre); (ato+i+)->ea = auxiiar.ea; banera = 1; } i++; } whie (i+ <= n-1); } whie (banera!=0); } whie(!=1); a) Inica o iferente tipo e componente éxico o token que generaría e anaizaor éxico. b) Define a expreione reguare que enotan o tipo e componente éxico inicao en e apartao anterior. 16. Coniera e iguiente cóigo ecrito en e enguaje FORTRAN INTEGER I, J REAL Vector(10), Matriz(5,5) PRINT *,'INTRODUCE LAS COMPONENTES IMPARES DEL VECTOR' DO 10 I = 1, 9, 2 PRINT *, 'COMPONENTE ',I,' -->' READ *, Vector (I) 10 CONTINUE PRINT *,'INTRODUCE LAS COMPONENTES DE LA DIAGONAL PRINCIPAL' DO 20 I = 1, 5 PRINT *, 'COMPONENTE (',I,',',I,') -->' READ *, Matriz (I,I) 20 CONTINUE a) Inica o iferente tipo e componente éxico que reconocería e anaizaor éxico. b) Ecribe a expreione reguare correponiente a icho tipo e componente éxico. 17. Inica a expreione reguare que enoten o componente éxico e un enguaje e programación en peuocóigo: Ientificaore: o Porán etar compueto por etra, número y e ímboo _. o Porán comenzar por una etra o e ímboo _ o E ímboo _ no porá aparecer a fina. Número: o Se porán efinir número entero (19), reae e punto fijo (19.75) o con notación exponencia (0.19e+2). Caena e caractere: o Etarán compueta por cuaquier carácter excepto a comia impe e apertura ( ) y cierre ( ), que eberán aparecer a principio y a fina, repectivamente. o Se utiizará a barra invertia \ para poer introucir a comia impe entro e a caena. 4

5 Paabra reervaa: o Se porán ecribir con etra mayúcua o minúcua o amba o Deberán comenzar y terminar por e ímboo e ubrayao _. o Por ejempo: _mientra_ Operaore: o Aignación: e utiizará e operaor e Paca ( := ) o Lógico: etarán eimitao por o ímboo e ubrayao (por ejempo: _no_ ) o Aritmético: o Se utiizarán como operaore a tre primera etra e caa una e a operacione aritmética ( uma, reta, mutipicación, iviión y potencia) pero eimitaa por e ímboo _ o Por ejempo: _pot_ o Reacionae: e utiizarán o ímboo empeao por e enguaje C, excepto o operaore igua y itinto que e utiizarán o empeao por Paca (=, <>). Autómata finito 18. Dao o iguiente autómata finito eterminita: Dibuja a repreentación gráfica e caa uno. Comprueba i reconocen o no a paabra que e inican en caa cao, motrano a tranicione que e vayan proucieno pao a pao. Inica e manera informa cómo e e enguaje que reconoce caa autómata. Define una expreión reguar que enote e enguaje que reconocería caa autómata. a) a b c q 0 q 1 q 3 q 3 q 1 q 1 q 2 q 2 x = aabcc, y = abca q 2 q 3 q 2 q 2 q 3 q 4 q 4 q 4 b) 0 p q 0 q 1 q 2 - q 1 q 1 q 1 q 3 q q 3 q 3 q 4 q 5 - q 4 q 4 q 6 - q 5 q 4 q 6 - q 6 q 4 q 6-5

6 one {1, 2, 3, 4, 5, 6, 7, 8, 9}, p e e punto ecima "." x 1 = 0.79, x 2 = 012.0, x 3 = 12.0, x 4 = 10203, x 5 = , x 6 = Dao o iguiente autómata finito no eterminita: Dibuja a repreentación gráfica e caa uno. Comprueba i reconocen o no a caena que e inican en caa cao, motrano a tranicione que e vayan proucieno pao a pao. a) AFN in tranicione épion no triviae a b c q 0 {q 1,q 2 } q 1 {q 1,q 2 } {q 3, q 4 } q 2 {q 1,q 2 } {q 3, q 4 } q 3 {q 3, q 4 } q 4 {q 3, q 4 } x = abbcc, y = abcb b) AFN con tranicione épion no triviae a b c q 0 {q 1 } {q 2,q 3 } {q 0,q 2 } q 1 {q 3,q 4 } {q 1,q 2,q 3 } {q 2 } q 2 {q 3 } {q 1,q 2 } {q 3 } q 3 {q 0 } {q 2 } {q 4 } {q 4 } q 4 {q 2,q 3 } {q 1,q 4 } {q 1,q 2,q 4 } x = aabc, y = bbacab 20. Apica e agoritmo e "contrucción e ubconjunto" a o autómata finito no eterminita e ejercicio anterior. Comprueba i o autómata finito eterminita contruio reconocen a caena propueta en icho ejercicio. 21. Daa a iguiente expreione reguare: etra (etra + ígito) * (etra + ubrayao) (etra + ubrayao + ígito)* etra (etra + ígito + guion (etra + ígito))* comia (etra + ígito + barra comia)* comia one etra {a,..., z, A,..., Z}, ígito {0,1,...,9}, ubrayao e e ímboo '_', guion e e ímboo '-', comia e e ímboo ' ' y barra e ímboo '\'. a) Utiiza e agoritmo e "contrucción e Thompon" para contruir o autómata finito no eterminita equivaente. b) Utiiza e agoritmo e contrucción e ubconjunto para contruir o autómata finito eterminita equivaente a o obtenio en e apartao anterior. c) Minimiza o autómata finito eterminita. 6

7 ) Comprueba i o autómata finito contruio en o apartao anteriore reconocen, repectivamente, a iguiente caena: o x = ato, y = ato1, z = 1ato o x = ato, y = ato_1, z = _ato 1 o x = ato-1, y = ato--1, z = ato1-1 o x = ejempo e \ caena\ 22. Dao e iguiente autómata finito eterminita g q0 q1 - - q1 q2 q3 q4 q2 q2 q3 q4 q3 q2 q3 q4 q4 q2 q3 - one e ignificao e, y g e e iguiente: = etra, = ígito y g = guion a) Dibuja u repreentación gráfica. b) Minimiza e autómata meiante a obtención e autómata cociente. 23. Dao e iguiente autómata finito eterminita: q 1 q 0 q 2 q 4 q 5 q 3 one e ignificao e : etra, : ígito y : ubrayao. a) Comprueba i reconoce o no a caena x = b) Minimiza e autómata finito eterminita. c) Comprueba i e autómata minimizao reconoce o no a caena x = Errore éxico 24. E iguiente cóigo ecrito en enguaje C cacua e factoria e un número, pero tiene iez errore éxico. 7

8 [1] int factoria (int n [2] [3] Int i; [4] int re$utao; [5] [6] nif ( (n==0) (n==1) ) [7] return (1.0.0); [8] ee { [9] reutao := 1; [10] for (i===n ; i > 1 ; i--) [11] reutao **= i; [12] [13] return (reutao) [14] } [15] } a) Inica o errore éxico que e pueen etectar urante e anáii éxico b) Inica o errore éxico que e pueen etectar urante e anáii intáctico Obervación: e inican o número e a ínea para faciitar a ientificación e caa error 25. Coniera e iguiente fragmento e cóigo erróneo ecrito en C [1] fooor (i = N ; > i ; i--) [2] { [3] factoria = factoria * $n; [4] } [5] printf Factoria = % /n, $factoria); a) Inica o errore que puee etectar e anaizaor éxico y o que no puee etectar y por qué. b) Inica o componente éxico que reconocería e anaizaor éxico. c) Ecribe a expreione reguare correponiente a o iferente tipo e componente éxico reconocio en e fragmento anterior. Obervación: e inican o número e a ínea para faciitar a ientificación e caa error 8