Exerccios

1.1 O que segue, so os diagramas de estado de dois autmatos finitos determinsticos, M1 e M2. Responda as questes seguintes sobre estas mquinas. a) b) c) d) e) f) g) 1.2 Qual o estado inicial de M1? Qual o conjunto de estados finais de M1? Qual o estado inicial de M2? Qual o conjunto de estados finais de M2? Qual a sequncia de estados pela qual M1 passa na entrada aabb? M1 aceita o string aabb? M2 aceita o string ?

D a descrio formal das mquinas M1 e M2 figuradas no Exerccio 1.1.

1.3 A descrio formal de um autmato finito determinstico M ({q1,q2,q3,q4,q5}, {u,d}, , q3, {q3}), onde dada pela tabela seguinte. D o diagrama de estado desta mquina. 1.4 D os diagramas de estado de autmatos finitos determinsticos, reconhecendo as linguagens seguintes. Em todos os casos, o alfabeto {0,1}. a) { w | w comea com um 1 e termina com um 0 }. b) { w | w contem pelo menos trs 1s }. c) { w | w contem o substring 0101, por exemplo, w = x0101y para algum x e y }. d) { w | w possui comprimento pelo menos 3 e seu terceiro smbolo um 0 }. e) { w | w comea com um 0 e possui comprimento mpar, ou comea com um 1 e possui comprimento par }. f) { w | w no contm o substring 110 }. g) { w | o comprimento de w no mximo 5 }. h) { w | w qualquer string exceto 11 e 111 }. i) { w | cada posio mpar de w um 1 }. j) { w | w contem pelo menos dois 0s e no mximo um 1 }. k) { , 0 }. l) { w | w contem um nmero par de 0s, ou exatamente dois 1s }. m) O conjunto vazio. n) Todos os strings, exceto o string vazio. 1.5) D autmatos finitos no-determinsticos com o nmero especificado de estados, reconhecendo cada uma das linguagens seguintes. a) A linguagem { w | w termina com 00 } com trs estados. b) A linguagem do Exerccio 1.4c com cinco estados.

c) d) e) f) g)

A linguagem do Exerccio 1.4l com seis estados. A linguagem {0} com dois estados. A linguagem 0*1*0*0 com trs estados. A linguagem { } com um estado. A linguagem 0* com um estado.

1.6) Use a construo dada na prova do Teorema 1.22, para dar os diagramas de estado dos autmatos finitos no-determinsticos reconhecendo a unio das linguagens descritas em: a) Exerccios 1.4a e 1.4b. b) Exerccios 1.4c e 1.4f. 1.7) Use a construo dada na prova do Teorema 1.23, para dar os diagramas de estado dos autmatos finitos no-determinsticos reconhecendo a concatenao das linguagens descritas em: a) Exerccios 1.4g e 1.4i. b) Exerccios 1.4b e 1.4m. 1.8) Use a construo dada na prova do Teorema 1.24, para dar os diagramas de estado dos autmatos finitos no-determinsticos reconhecendo a estrela da linguagem descrita em: a) Exerccio 1.4b. b) Exerccio 1.4j. c) Exerccio 1.4m. 1.9) Prove que cada autmato finito no-determinstico pode ser convertido em um equivalente, o qual possui um nico estado final. 1.10) a) Mostre que, se M um autmato finito determinstico que reconhece a linguagem B, trocando os estados finais e no-finais em M, fornece um novo autmato finito determinstico que reconhece o complemento de B. Conclua que a classe de linguagens regulares fechada sob complemento. b) Dando um exemplo, mostre que se M um autmato finito no-determinstico que reconhece a linguagem C, trocando os estados finais e no-finais em M, no fornece necessariamente um novo autmato finito no-determinstico que reconhece o complemento de B. A classe de linguagens reconhecidas por autmatos finitos nodeterminsticos fechada sob complemento? Explique sua resposta. 1.11) D um contra-exemplo para mostrar que as construes seguintes falham em provar o Teorema 1.24, o fechamento da classe de linguagens regulares sob a operao

estrela.8 Seja N1 = (Q1, , 1, q1, F1) que reconhece A1. Construa N = (Q1, , , q1, F) como se segue. N supostamente reconhece A1. a) Os estados de N so os estados de N1. b) O estado inicial de M o mesmo estado inicial de N1. c) F = {q1} F1. Os estados finais F so os antigos estados finais mais seu estado inicial. d) Defina de forma que, para qualquer q Q e qualquer a ,

(Sugesto: Converta essa construo formal em uma figura, como na Figura 1.26.) 1.12) Use a construo dada no Teorema 1.19 para converter os dois autmatos finitos no-determinsticos seguintes em autmatos finitos determinsticos equivalentes. a) Faltam figuras!! 1.13) D expresses regulares gerando as linguagens do Exerccio 1.4. 1.14) Use o procedimento descrito no Lema 1.29 para converter as expresses regulares seguintes em autmatos finitos no-determinsticos. a) ( 0 1 )* 000 ( 0 1 )* b) ((( 00 )* (11)) 01 )* c) * 1.15) Para cada uma das seguintes linguagens, d dois strings que so membros e dois strings que no so membros - um total de dois strings para cada parte. Assuma o alfabeto = {a,b} em todas as partes. a) b) c) d) e) f) g)
8

b)

a* b*. a( ba )* b. a* b*. ( aaa )*. * a* b* a*. aba bab. ( a )b.

Em outras palavras, voc deve apresentar um autmato finito, N1, para o qual o autmato construdo N no reconhece a estrela da linguagem de N1.

h) ( a ba bb )*. 1.16) Use o procedimento descrito no Lema 1.32 para converter os autmatos finitos seguintes em expresses regulares. a) Faltam Figuras!! 1.17) Use o lema de bombeamento para mostrar que as seguintes linguagens no so regulares. a) A1 = { 0n 1n 2n | n 0 }. b) A2 = { ww | w {a,b}*}. c) A3 = { a2 | n 0 }.
n

b)

(Aqui, a2 significa um string de 2n as.)

1.18) Descreva o erro na seguinte "prova", que 0*1* no uma linguagem regular. (Um erro deve existir porque 0*1* regular.) A prova por contradio. Assuma que 0*1* regular. Seja p o comprimento de bombeamento para 0*1* dado pelo lema de bombeamento. Escolha s a ser o string 0p1p. Voc sabe que s um membro de 0*1*, mas o Exemplo 1.38 mostra que s no pode ser bombeado. Portanto, voc tem uma contradio. Assim, 0*1* no-regular. 1.19) Um transducer de finitos estados (FST) um tipo de autmato finito determinstico, cuja sada um string e no apenas aceito ou rejeitado. O que segue, so diagramas de estado dos transducers de finitos estados T1 e T2. (Falta figuras) Cada transio de um FST est rotulado com dois smbolos, um designando o smbolo de entrada para aquela transio e o outro designando o smbolo de sada. Os dois smbolos so escritos com uma barra, / , separando eles. Em T 1, a transio de q1 para q2 tem o smbolo de entrada 2 e smbolo de sada 1. Algumas transies podero ter pares mltiplos de entrada-sada, como a transio T 1 de q1 para ele mesmo. Quando um FST computa um string de entrada w, ele carrega os smbolos de entrada w1, ... , wn um por um e, comeando no estado inicial, segue as transies pareando os rtulos de entrada com a sequncia de smbolos w1, ..., wn = w. Cada vez que ele percorre uma transio, ele devolve o smbolo de sada correspondente. Por exemplo, na entrada 2212011, a mquina T1 entra na sequncia de estados q1, q2, q2, q2, q2, q1, q1, q1 e produz a sada 1111000. Na entrada abbb, T 2 devolve 1011. D a sequncia de estados de entrada e a sada produzida em cada uma das seguintes partes.

a) b) c) d) e) f) g)
1.20) Leia

T1 na entrada 011. T1 na entrada 211. T1 na entrada 0202. T2 na entrada b. T2 na entrada bbab. T2 na entrada bbbbbb. T2 na entrada .

a definio informal do transducer de finitos estados dada no Exerccio 1.19. D uma definio formal deste modelo, seguindo o modelo da Definio 1.1 na pgina 35. Assuma que um FST possui um alfabeto de entrada e um alfabeto de sada , mas no possui um conjunto de estados finais. Inclua uma definio formal da computao de um FST.

( Dica: Um FST uma 5-tupla. Sua funo de transio da forma : Q Q . ) 1.21) Usando a soluo que voc deu para o Exerccio 1.20, d uma definio formal das mquinas T1 e T2 figuradas no Exerccio 1.19. 1.22) Leia a definio informal do transducer de finitos estados dado no Exerccio 1.19. D o diagrama de estado de um FST com o seguinte comportamento. Seus alfabetos de entrada e sada so {0,1}. Seu string de sada igual ao de entrada nas posies pares, mas, invertido nas posies mpares. Por exemplo, na entrada 0000111, ele deve devolver 1010010.

Problemas
1.23) Prove que as linguagens seguintes no so regulares. a) b) c) d) { 0n 1m 0n | m,n 0 }. O complemento de { 0n 1n | n 0 }. { 0m1n | m n }. { w | w {0,1} no um palndromo }.9

1.24) Para qualquer string w = w 1 w2 ... wn, o reverso de w, escrito como wR, o string w escrito na ordem inversa, wn ... w2 w1. Para qualquer linguagem A, seja AR = { wR | w A }. Mostre que se A regular, AR tambm . 1.25) Seja

Um palndromo um string que quando lido de frente para trs, o mesmo se lido de trs para frente.
9

3 contm todas as colunas de 0s e 1s de tamanho 3. Um string de smbolos em 3 fornece trs filas de 0s e 1s. Considere cada fila a ser um nmero binrio e seja B = { w 3* | a fila de baixo de w a soma das duas filas de cima }. Por exemplo,

Mostre que B regular. (Dica: Trabalhar com BR mais fcil. Voc poder assumir o resultado afirmado no Problema 1.24.) 1.26) Seja

Aqui, 2 contm todas as colunas de 0s e 1s de altura dois. Um string de smbolos em 2 d duas filas de 0s e 1s. Considere cada fila como um nmero binrio e seja C = { w 2* | a fila de baixo de w trs vezes a fila de cima }. Por exemplo, . Mostre que C regular. Voc poder assumir o resultado afirmado no Problema 1.24. 1.27) Seja 2 o mesmo do Problema 1.26. Considere cada fila a ser um nmero binrio e seja D = { w 2* | a fila de cima de w um nmero maior do que o de baixo }. Por exemplo, regular. . Mostre que C

1.28) Seja 2 o mesmo do Problema 1.26. Considere as filas do topo e de baixo a serem strings de 0s e 1s e seja E = { w 2* | a fila de baixo de w o inverso da fila de cima de w }.

Mostre que E no-regular. 1.29) Seja Bn = { ak | onde k um mltiplo de n }. Mostre que para cada n 1, a linguagem Bn regular. 1.30) Seja Cn = { x | x um nmero binrio que um mltiplo de n }. Mostre que para cada n 1, a linguagem Cn regular. 1.31) Considere um novo tipo de autmato finito chamado de all-paths-NFA. Um allpaths-NFA M uma 5-tupla (Q, , , q0, F) que reconhece x * se cada computao possvel de M em x termina em um estado de F. Em contraste, note que um autmato finito no-determinstico ordinrio aceita um string se alguma computao termina num estado final. Prove que um all-paths-NFA reconhece a classe das linguagens regulares. 1.32) Digamos que o string x um prefixo do string y se um string z existe onde xz = y e que x um prefixo propriamente dito de y se alm disso, x y. Em cada uma das seguintes partes ns definimos uma operao numa linguagem A. Mostre que a classe das linguagens regulares fechada sob esta operao. a) NO-PREFIXO(A) = {w A | nenhum prefixo propriamente dito de w um membro de A }. b) NO-EXTENDIDO(A) = {w A | w no o prefixo propriamente dito de qualquer string em A }. 1.33) Leia a definio informal do transducer de finitos estados dado no Exerccio 1.19. Prove que nenhum FST pode devolver w R para cada entrada w, se os alfabetos de entrada e sada forem {0,1}. 1.34) Seja x e y strings e seja L qualquer linguagem. Ns dizemos que x e y so distinguveis por L, se algum string z existe por meio de que exatamente um dos strings xz e yz so membros de L; ao contrrio, para cada string z, xz L sempre que yz L e ns dizemos que x e y so indistinguveis por L. Se x e y so indistinguveis por L, ns escrevemos x L y. Mostre que L uma relao de equivalncia. 1.35) Leia o Problema 1.34. Sela L uma linguagem e seja x um conjunto de strings. Ns dizemos que x distinguvel por L em pares, se cada dois strings distintos em X so distinguveis por L. Defina o ndice de L a ser o nmero mximo de elementos em qualquer conjunto que distinguvel por L em pares. O ndice de L poder ser finito ou infinito. a) Mostre que se L reconhecido por um autmato finito determinstico com k estados, o ndice de L no mximo k. b) Mostre que se o ndice de L um nmero finito k, ele reconhecido por um

autmato finito determinstico com k estados. c) Conclua que L regular se ele tem um ndice finito. Alm disso, seu ndice o tamanho do menor autmato finito determinstico que o reconhece. 1.36) Seja = {0,1, +, =} e ADD = { x = y + z | x,y,z so inteiros binrios, e x a soma de y e z }. Mostre que ADD no-regular. 1.37) Mostre que a linguagem F = {w | w no um palndromo } satisfaz as trs condies do lema de bombeamento, mesmo sendo no regular. Explique porque este fato no contradiz o lema de bombeamento. 1.38) O lema de bombeamento diz que cada linguagem regular possui um comprimento de bombeamento p, de forma que cada string na linguagem pode ser bombeado, se possui comprimento p ou mais. Se p um comprimento de bombeamento para a linguagem A, ento qualquer comprimento p p. O comprimento mnimo de bombeamento para A o menor p que um comprimento de bombeamento para A. Por exemplo, se A = 01*, o comprimento mnimo de bombeamento 2. O motivo que, o string s = 0 A de comprimento 1 no pode ser bombeado, e qualquer string em A de comprimento 2 ou mais, contm um 1 e portanto, pode ser bombeado ao divid-lo de maneira que x = 0, y = 1, e z o resto. Para cada uma das linguagens seguintes, d o comprimento de bombeamento mnimo e justifique sua resposta. a) b) c) d) e) 0001*. 0*1*. ( 01 )*. 01. .

1.39) A construo no Teorema 1.28 mostra que cada autmato finito nodeterminstico generalizado equivalente a um autmato finito no-determinstico generalizado com apenas dois estados. Ns podemos mostrar que um fenmeno oposto ocorre para autmatos finitos determinsticos. Prove que para cada k > 1 uma linguagem Ak {0,1}* existe, que reconhecida por um autmato finito determinstico com k estados, mas no por um com k-1 estados. 1.40) Se A um conjunto de nmeros naturais e k um nmero natural maior do que 1, seja Bk (A)= { w | w uma representao na base k de algum nmero em A }. Aqui, ns no permitimos 0s iniciando a representao de um nmero. Por exemplo, B2({3,5}) = {11,101} e B3({3,5}) = {10,12}. D um exemplo de um conjunto

A para o qual B2(A) regular, mas B3(A) no-regular. Prove que seu exemplo funciona. 1.41) Seja D = { w | w contem um nmero igual de ocorrncias dos substrings 01 e 10 }. Com isso, 101 D porque 101 contm um nico 01 e um nico 10, mas, 1010 D porque 1010 contem dois 10s e um 01. Mostre que D uma linguagem regular. 1.42) Se A qualquer linguagem, seja A 1/2 - o conjunto de todos as primeiros metades de strings em A, de forma que A1/2 - = { x | para algum y, | x | = | y | e xy A }. Mostre que, se A regular, ento A1/2 - tambm . 1.43) Se A qualquer linguagem, seja A1/3 - 1/3 o conjunto de todos os strings em A com seus terceiros elementos do meio removidos, de forma que A1/3 - 1/3 = { xz | para algum y, | x | = | y | = | z | e xyz A }. Mostre que, se A regular, ento A1/3 - 1/3 no necessariamente regular. 1.44) D uma famlia de linguagens En, onde cada En pode ser reconhecida por um autmato finito no-determinstico de n-estados, mas requer pelo menos c n estados em um autmato finito determinstico para alguma constante c > 1. Prove que suas linguagens possuem essa propriedade.