Você está na página 1de 3

Linguagens Formais e Autmatos Primeira prova - 27/04/2010 - UNIVASF - Prof.

Marcus Ramos >>>> Seja conciso e objetivo nas suas respostas <<<< 1. (1 ponto) Conceitue: a. Linguagem Conjunto finito ou infinito de cadeias formadas pela justaposio dos smbolos de um alfabeto finito. b. Gramtica Dispositivo de gerao de sentenas. Opera atravs de um conjunto de regras que promove substituies sucessivas nas diversas formas sentenciais. c. Autmato finito Dispositivo de reconhecimento de sentenas. Opera atravs de movimentos que o conduzem desde uma configurao inicial at uma configurao final. d. Linguagem gerada por uma gramtica Conjunto de cadeias formadas por smbolos terminais de que so obtidas por meio de derivaes realizadas a partir da raiz da gramtica pela aplicao das regras de produo. e. Linguagem reconhecida por um autmato finito Conjunto de cadeias formadas por smbolos terminais que so capazes de conduzir o autmato desde a sua configurao inicial at uma configurao final qualquer. 2. (1 ponto) Defina: "linguagem regular". Qualquer linguagem que pode ser representada atravs de uma gramtica linear direita, uma expresso regular ou um autmato finito. (1 ponto) Seja Lx uma linguagem regular (finita ou infinita) e Ly uma linguagem finita. Prove que Lx Ly uma linguagem regular. Toda linguagem finita tambm regular. Seja Ly={1,2,...,n}. Ento, Ly gerada pela expresso regular 1|2|...|n e portanto L regular. A demonstrao de que L x Ly regular pode ser feita usando-se a combinao de autmatos finitos ou de gramticas lineares direita, conforme visto em sala de aula. (1 ponto) Seja M um autmato finito no-determinstico sem transies em vazio com 4 estados. Prove que, aps a eliminao dos no-determinismos, o autmato resultante possui no mais do que 16 estados. O mtodo de eliminao de no-determinismos funciona atravs da criao de novos estados, sendo um para cada combinao de estados para os quais haja alguma transio no-determinstica no autmato original. Se um autmato n tem n estados, ento o nmero de todas as combinaes possveis desses estados 2 . Logo, o autmato resultante ter n no mximo 2 estados. (1 ponto) Obtenha um autmato finito determinstico e sem transies em vazio que reconhea a linguagem dos nmeros romanos entre I (inclusive) e XX (inclusive) sobre o alfabeto {I,V,X}.

3.

4.

5.

6.

(1 ponto) Considere a gramtica abaixo, que gera uma linguagem sobre o alfabeto {a,b,c,|,*,(,)}: EE|E a) EEE EE* E(E) Ea Eb Ec

Descreva com suas palavras e exemplos a linguagem gerada por essa gramtica; Essa gramtica gera o conjunto de todas as expresses regulares sobre o alfabeto {a,b,c}, excetuando aquelas que contm a cadeia vazia e o conjunto vazio. Exemplos: a(b|c)*, (a|b|c)*aa(a|b|c)*, ((a|b|c)(a|b|c))*. b) Selecione uma sentena de comprimento mnimo 10, que faa uso de todos os smbolos do alfabeto, e mostre a seqncia de derivaes que geram a mesma. EE|EEE|EE*E|E(E)*E|E(EE)*E|E(EE)*E|EE(EE)*E|EEE(E|EE)*E|EEE(a|EE)*E|EEE(a|bE)*E|E EE(a|bc)*E|EEE(a|bc)*c|EEE(a|bc)*c|cEE(a|bc)*c|cbE(a|bc)*c|cba Escolha trs questes entre as de nmero 7, 8, 9, 10 e 11 e ignore as outras duas. 7. (1 ponto) Considere L1 = {w {a,b,c}* | |w|a no mltiplo de 3}. So sentenas de L1: baabc, aaaa, bccca. No so sentenas de L1: bcbcbc, aaabbb, bcabacaaaa. Prove que essa linguagem regular.
1

8.

(1 ponto) Considere L2 = {w {a,b,c}* | w=12....n e i "a" se "i" par}. So sentenas de L 2: bbabc, acab, accca. No so sentenas de L1: aa, abba, bcabacaaaa. Prove que essa linguagem regular.

9.

(1 ponto) Considere L3 = {w {a,b,c}* | se w contm a subcadeia "aa", ento direita dessa subcadeia no h ocorrncia da subcadeia "bb"}. So sentenas de L3: bbaa, baababc, acaabc, accca. No so sentenas de L1: aabb, abaacbbc, bcaabacbb. Prove que essa linguagem regular.

10. (1 ponto) Considere L4 = {w {a,b,c}* | se o primeiro smbolo de w "a", ento o terceiro deve ser "b" e o ltimo deve ser "c" }. So sentenas de L4: abbacc, baababc, acbbbc, cba, aabc. No so sentenas de L1: aaa, abba, aabccb. Prove que essa linguagem regular.

|w|a denota a quantidade de smbolos "a" na cadeia "w".

11. (1 ponto) Considere L5 = {w {a,b,c}* | |w| mpar e |w|a par }. So sentenas de L5: aba, abcabcc, aaaac, abcab. No so sentenas de L1: aabb, aaabbbc, ababba. Prove que essa linguagem regular.

12. (1 ponto) Obtenha um autmato finito sem transies em vazio, determinstico e mnimo que seja equivalente ao autmato:

Você também pode gostar