a) Teorema 11.

1 A linguagem L aceita por um autmato finito com n estados no-vazia se e somente se o autmato aceita pelo menos uma cadeia w !w! " n.# $slides p.%&') (ara provar esse teorema nescessario provar )ue vale a condi*o suficente e a necessario. A condi*o necessaria$aceita uma senten*a de comprimento inferior a n +, linguagem n vazia#) o-via portanto no demonstrada. A condi*o suficiente $A linguagem no vazia +, aceita uma senten*a de comprimento inferior a n#) provada com au.ilio do pumping lemma. /onsidere w L$0) !w! + m. 1e m " n no preciso provar nada. 2ntretanto se w ,+ n podemos escrever w como .3z com .z L$0) 3 4+ vazio e !.z! " m. 1e !.z! " n 56 esta demonstrado mas se !.z! ,+ n tomamos w + .z e aplicamos o pumping lemma novamente. 7epetimos esse passo at o-ter cadeias com comprimento menor )ue n assim provando )ue a condi*o suficiente valida. -) Teorema 11.8 1e5am L1 e L9 duas linguagens regulares )uais)uer. 2nto a )uesto L1 + L9 decid:vel.# $slides %;<) A condi*o L1 + L9 pode ser formulada como $L1 = L9 ) $L1 = L9 ) + '. (ara decidirmos se L1 + L9 usamos o algoritmo 11.9. > algoritmo 11.9 se estrutura da seguinte forma? 2ntrada ? dois autmatos finitos 01 + $@1 A1 B1 )'1 C1 ) e 09 + $@9 A9 B9 )'9 C9 )D 1aida? 1e L1 igual ou no a L9D 0todo? Easta construir um autmato finito 0% tal )ue L% $0% ) + $L1 = L9 ) $L1 = L9 ). 1e L% +' ento L1 + L9 caso contr6rio L1 diferente de L9D