Linguagens Formais e Autómatos

Transcrição

1 Exame 07 Feverero 00 09:00 Parte prátca - Duração: 0h0m Atenção: Indque em cada folha o seu número e nome A prova é com consulta e tem a duração de 0h0m Grupo I Cotação a).0 b).0 Para cada uma das alíneas seguntes represente a lnguagem dada usando uma expressão regular e um autómato fnto determnístco: a) Para o alfabeto Σ = 0,, L A = u Σ : u tem um número par de 's Expressão regular: 0 0! 0 Autómato: b) Para o alfabeto Σ =, +,0,,,,4,5,6,7,8,9, e,,., L A = u Σ : u é um número magnáro Expressão regular: - +? 0-9 "."? 0-9! ee - +? 0-9!? - +? 0-9 "."? 0-9! ee - +? 0-9!?? 4 5 e e e 8 e 4 5 Autómato:

2 Exame 07 Feverero 00 09:00 Grupo II Cotação a).0 b).0 c).0 Consdere o segunte conjunto: a) Represente-o sob forma gramatcal. L = b! a!! b! a!! b! : m, n Como m e n não têm nenhuma lgação entre eles os três elementos do meo podem ser construídos ndependentemente dos dos das pontas. S bsb bab A aaabc aabc CB BC bb bb bc baa ac aaa b) A gramátca que obteve é LL()? Justfque. A gramátca ndcada não é do tpo porque possu autocontenção. Também não é do tpo porque a condção mposta só pode ser satsfeta com dependênca de contexto. Por estes motvos a gramátca é de tpo. Uma gramátca do tpo não pode ser LL() c) Apresente uma sequênca de dervações a realzar, para obter a expressão baaaabbaaaab S bab baaabcb baaaabcbcb 4 baaaabbccb 5 baaaabbccb 6 baaaabbaacb 7 baaaabbaaaab

3 Exame 07 Feverero 00 09:00 Grupo III Cotação 7.0 Suponha uma gramátca que reconhece endereços URL e mplemente-a utlzando Flex e Bson. Para além dsso, o reconhecmento de um endereço deve ser segudo pela ndcação dos seus componentes. Exemplo : para a resposta deverá ser: endereço váldo protocolo: http máquna: camnho: nova págna: ndex.html Exemplo : para malto:de@sep.pp.pt, a resposta deverá ser: endereço váldo protocolo: malto utlzador: de domíno: sep.pp.pt Consdere como váldos os seguntes protocolos: http https ftp malto. Lembre-se que quer o camnho, quer a págna podem não exstr, caso em que a sua ndcação deve ser gnorada e que a máquna pode ser substtuída pelo respectvo endereço IP. Consdere anda que os nomes das máqunas e dos fcheros apenas são consttuídos pelos caracteres de a a. Gramátca: S US ε U P ':' '' '' M C malto ':' L '@' D P http https ftp M I N I nt. nt. nt. nt N N. pal pal C '' R ε R pal '' R pal F F pal '.' pal ε L L pal L. pal D D. pal pal U ndca o url, podendo ser dvddo em tpos: o prmero (ftp,http,https) é consttuído por protocolo (P) : máquna (M, p (I) ou nome (N)) e camnho (C) sendo que o camnho contém a págna a aceder (F) o segundo (emal) é consttuído pela palavra reservada malto segudo de : utlzador (L) e domíno de emal (D) pal é uma palavra consttuda por letras de a A a e nt é um número ntero

4 Flex: %{ % Lnguagens Formas e Autómatos Exame 07 Feverero 00 09:00 #nclude"url.tab.h" extern nt n_erros http {return HTTP https {return HTTPS ftp {return FTP malto {return MAILTO [a-za-]+ {strncpy(yylval.pal,yytext)return PAL []+ {strncpy(yylval.pal,yytext)return N \ \. : {return(yytext[0]) [ \t] <<EOF>> {return 0. {prntf("erro lexco '%s'\n",yytext)n_erros++ nt yywrap() { return() Bson: %{ nt n_erros=0 char protocolo[0] char maquna_domno[04] char camnho[04] char pagna_utlzador[04] % %unon { char pal[55] %token HTTP HTTPS FTP MAILTO %token <pal> PAL N urls: urls {protocolo[0]='\0' maquna_domno[0]='\0' camnho[0]='\0' pagna_utlzador[0]='\0' url * vazo * url: url ':' '' '' maquna camnho '\n' { prntf("url valdo\n") prntf("protocolo: %s\n", protocolo) prntf("maquna: %s\n", maquna_domno) f(strlen(camnho)>0) prntf("camnho: %s\n", camnho) f(strlen(pagna_utlzador)>0) prntf("pagna: %s\n", pagna_utlzador) MAILTO {strcpy(protocolo,"malto") ':' utlzador '@' domno '\n' { prntf("url valdo\n") prntf("protocolo: %s\n", protocolo) prntf("utlzador: %s\n", pagna_utlzador) f(strlen(maquna_domno)>0) prntf("domno: %s\n", maquna_domno)

5 Exame 07 Feverero 00 09:00 error '\n' {prntf("url nvaldo\n")yyerrok url: HTTP {strcpy(protocolo,"http") HTTPS {strcpy(protocolo,"https") FTP {strcpy(protocolo,"ftp") maquna: p maquna p: N '.' N '.' N '.' N { strcat(maquna_domno,$)strcat(maquna_domno,".") strcat(maquna_domno,$)strcat(maquna_domno,".") strcat(maquna_domno,$5)strcat(maquna_domno,".") strcat(maquna_domno,$7) maquna: maquna '.' PAL {strcat(maquna_domno,".")strcat(maquna_domno,$) PAL {strcat(maquna_domno,$) camnho: '' {strcat(camnho,"") camnho * vazo * camnho: PAL '' {strcat(camnho,$)strcat(camnho,"") camnho PAL {strcat(camnho,$) pagna pagna: PAL '.' PAL * vazo * {strcat(pagna_utlzador,$) strcat(pagna_utlzador,".") strcat(pagna_utlzador,$) utlzador: utlzador PAL {strcat(pagna_utlzador,$) utlzador '.' {strcat(pagna_utlzador,".") PAL {strcat(pagna_utlzador,$) domno: domno '.' PAL {strcat(maquna_domno,".") strcat(maquna_domno,$) PAL {strcat(maquna_domno,$) nt man() { prntf("teste de url's\n") yyparse() nt yyerror(char *s) { prntf("erro sntactco: %s\n",s) n_erros++

6 Exame 07 Feverero 00 09:00 Grupo IV Cotação.0 Para o programa esboçado, desenhe a stack de execução (ndcando os valores das varáves) nas sucessvas fases de execução ndcando em cada uma as lgações estátcas e dnâmcas entre as váras frames presentes. programa varável A=,, C=: ntero função varável Y=, =: ntero função TRES varável M=4, N=0: ntero TRES = M * B + Y fm A = TRES + C = C - A chamar DOIS fm função DOIS varável B=5: ntero B = B + fm chamar chamar DOIS fm TRES N=0 M=4 DOIS B=5à 6 = Y= = Y= = Y= = Y= C= A= C= A= C= A= C=à -8 A=à A=

7 Exame 07 Feverero 00 09:00 = Y= DOIS B=5à 6 A= A= A= A= FIM