UNIVERSIDADE FEDERAL DO ESPRITO SANTO CENTRO DE CINCIAS AGRRIAS CCA/ UFES Departamento de Engenharia Rura

Lista de exerccios 1
Disciplina: Linguagens Formais e Autmatos Professora: Juliana Pinheiro Campos Data: 31/03/2011 Assuntos: Introdu o !al"a#eto$ %adeias$ strings$ et%&$ AF'(s e AF)(s 1& *a#endo +ue: Prefixo , +ual+uer se+uen%ia ini%ial de s-m#olos da pala.ra/ Sufixo , +ual+uer se+uen%ia "inal de s-m#olos da pala.ra/ Subpalavras , +ual+uer se+uen%ia %ont-gua de s-m#olos da pala.ra/ 0s%re.a todos os prefixos$ sufixos e subpalavras para as pala.ras a seguir: a/ aaa #/ a#%# %/ aa#a *olu o: pre"i1os aaa 2 3$ a$ aa$ aaa4 su"i1os aaa 2 3$ a$ aa$ aaa4 su#pala.ras aaa 2 3$ a$ aa$ aaa pre"i1os a#%# 2 3$ a$ a#$ a#%$ a#%#4 su"i1os a#%# 2 3$ #$ %#$ #%#$ a#%#4 su#pala.ras a#%# 2 3$ a$ #$ %$ a#$ #%$ %#$ a#%$ #%#$ a#%#4 2) 5 poss-.el generali6ar e responder +ual , o n7mero de prefixos, sufixos e subpalavras de uma pala.ra de tamanho n8 *olu o: 9 n: de pre"i1os e su"i1os para pala.ras de tamanho n , n;14 Para su#pala.ras n o d< para "alar pois n o se sa#e +uanto s-m#olos %omp=em a pala.ra$ nem se e1istem s-m#olos repetidos$ et%/ 3) 01pli+ue a di"erena entre 2 >0$1? e 1 2 >0$1?/ 9 primeiro apresenta um al"a#eto %omposto por dois s-m#olos$ 0 e 1/ 9 segundo representa uma pot@n%ia do al"a#eto: o %onAunto de todas as strings de %omprimento 1 do al"a#eto/

B& Considerando um al"a#eto C$ e1pli+ue o +ue representa CD E >3?/ '@ um e1emplo/ CD E >3? 2 C; $ ou seAa$ %orresponde a todas as %adeias +ue podem ser "ormadas %om os s-m#olos do al"a#eto C$ menos o 3/
5) 'ados os AF' F1 e F2$ responda Gs seguintes +uest=es so#re %ada um deles: F1: F2:

a& Hual , o estado ini%ial8 F1: +0 F2: +0 #& Hual , o %onAunto de estados de a%eita o8 F1: >+1? F2 2 >+0$+3? c) Por +ual se+u@n%ia de estados a m<+uina passa para a entrada aa##8 F1: +1$ +2$+0$+0 F2: +0$ +0$ +1$ +3 d& A m<+uina a%eita a %adeia aa##8 F1: n o F2: sim e) A m<+uina a%eita a %adeia 38 F1: n o F2: sim "& '@ a des%ri o "ormal das m<+uinas F1 e F2/ F1: !>+0$ +1$ +2?$ >a$#?$ I$ +0$ >+1?& I +0 +1 +2 a +1 +2 +1 # +0 +2 +0

F2: !>+0$ +1$ +2$ +3?$ >a$#?$ I$ +0$ >+0$ +3?& I a #

+0 +1 +2 +3

+0 +2 +1 +2

+1 +3 +0 +3

J& A des%ri o "ormal de um AF' F , !>+1$ +2$ +3$ +B$ +K?$ >u$d?$ I$ +3$ >+3?&$ onde I , dada pela ta#ela a seguir/ '@ o diagrama de estados dessa m<+uina/ I +1 +2 +3 +B +K u +1 +1 +2 +3 +B d +2 +3 +B +K +K

L& Construa AF's !d@ o diagrama de estados& para as seguintes linguagens so#re o al"a#eto >0$1?: a& o %onAunto das pala.ras de tamanho 3/

#& %onAunto das pala.ras %om no m<1imo tr@s 1Ms/

%& %onAunto das pala.ras de tamanho m7ltiplo de 3/

d) o %onAunto de pala.ras +ue %omea %om um 1 e termina %om um 0/

e& %onAunto de pala.ras +ue %ont,m a su#%adeia 0101/

f) %onAunto das pala.ras de tamanho m7ltiplo de 3 %om um ou dois 1s/

OBS: O nome de cada estado possui o formato xy, sendo que x representa o nmero de smbolos lidos at o momento e y representa o nmero de !s lidos"

N& Construa AF)s re%onhe%endo %ada uma das linguagens a seguir/ a& A linguagem >3? %om 1 estado/

#& A linguagem >O P O termina %om 00? %om 3 estados/

%& A linguagem +ue tem ## ou n o tem aa para o al"a#eto >a$#?/

d& A linguagem >O Q >a$ #$ %?D P o 7ltimo s-m#olo de O seAa id@nti%o ao primeiro?/

R& *eAa o AF) F 2 !>+1$ +2$ +3?$ >a$#?$ I$ >+1?$ >+1$ +2$ +3?&$ onde I , dada pela ta#ela a seguir/ I +1 +2 +3 a >+2? >+3? >? # >? >? >+3?

9#tenha um AF) %om um 7ni%o estado "inal e+ui.alente a F/

0+ui.alente:

10& Con.erta os AF)s a#ai1o em AF's: a&

#&

OBS: # $ % estudado em sala" 11& 'ados os AF)s do e1er%-%io anterior$ desenhe a <r.ore de possi#ilidades para %ada %adeia a seguir e responda se elas s o a%eitas ou n o por %ada um dos AF)s/ *e a %adeia "or a%eita$ indi+ue por +ual se+uen%ia de estados a m<+uina passa para +ue isso a%ontea/ a& aaa A primeira reAeita e a segunda a%eita/ #& aa##a 5 a%eita pela primeira/ 0stados: +0$ +0$ +0$ +1$ +0$ +0 5 a%eita pela segunda: 0stados: +1$ +0$ +2$ +2$ +2$ +1

!2) 'ado o AF) F 2 !>+0$ +1?$ >0$ 1?$ I$ +0$ >+1?& e: I +0 +1 Construir o AF' e+ui.alente/ *olu o: n es+ue%er +ue todos os estados +ue possuem o "inal$ ser o "inais 0 >+0$+1? >? 1 >+1? >+0$+1?

13& Finimi6e o seguinte AF':

*olu o

1B& 0spe%i"i+ue um AF' +ue$ dentre as pala.ras +ue se es%re.em %om os s-m#olos 0$ 1 e 2$ a%eite apenas a+uelas %uAo somatSrio dos s-m#olos$ interpretados %omo n7meros$ seAa di.is-.el por 3/

!5) Finimi6e o AF' do e1er%-%io anterior"

!&) A des%ri o "ormal de um AF' F , !>+0$ +1$ +2$ +3$ +B?$ >0$1?$ I$ +0$ >+2$ +B?&$ onde I , dada pela ta#ela a seguir/ Finimi6e F/ I +0 +1 +2 +3 +B 0 +3 +B +3 +2 +1 1 +1 +1 +0 +3 +0

*olu o !seu m-nimo&