Curso Engenharia Informtica Linguagens Formais e Autmatos

Tema: Autmato finito determinstico

Nome: Joo Joaquim Xavier da Cruz Abreu N.Proc.: 10571 Sala: U 10!

Au"#ma"o$ %i&i"o$ 'e"ermi&($"ico$ )A%'*

Um autmato finito determinstico (AFD, ou DFA em ingl s! " um autmato #ue se encontra sem$re em um %nico estado a$s ler uma se#u ncia #ual#uer de entrada& ' termo (determinstico) im$lica #ue e*iste um e somente um estado ao #ual o autmato $ode transitar a $artir de seu estado atual& Em contraste, autmatos finitos n+o determinsticos $odem estar em ,rios estados ao mesmo tem$o&

A%' + uma 5 u,la - . )/ 0-0 d0 S0 %* o&de:

. / " o con0unto dos estados $oss,eis - / " o alfa1eto dos sm1olos de entrada d / " a fun2+o transi2+o, d3 . * 4 . 4i / " o estado inicial F " o con0unto de estados finais& De,e $ossuir ao menos um elemento

Se1a2w = a1a2... an2 uma cadeia de $(mbolo$ $obre o al3abe"o 40 5 au"#ma"o2M2acei"a a cadeia2w2$e $ome&"e $e e6i$"e uma $equ7&cia de e$"ado$02r0,r1, ..., rn0 em2Q2com a$ $e8ui&"e$ co&di9:e$: ;02.2q0 ;i<12. =)ri02ai<1*0 ,ara2i2.200 ...0 &>1 ;& 2% Um au"#ma"o 3i&i"o de"ermi&($"ico que &o ,o$$ui e$"ado i&icial ou e$"ado$ de acei"a9o + co&?ecido como um2Si$"ema de @ra&$i9:e$2ou2Sem au"Ama"o.

;e,re$e&"a9o BrC3ico do A%'

;e,re$e&"a9o do A%' ,or i&"erm+dio de um 8ra3o: 5 e$"ado i&icial + i&dicado ,or uma $e"a $em ori8em. q1

e$"ado$ 3i&ai$ $o re,re$e&"ado$ ,or doi$ c(rculo$ co&c7&"rico$0 cada um.

@ra&$i9o

Palavra Dca$eE
q0 q1 qF qG qH

5 e6em,lo a $e8uir re,re$e&"a um A%'2M

Iamo$ 3azer a com,u"a9o ,ara a$ $e8ui&"e$ $"ri&8$: J aaa K q0 q1 q3 J abb K q0 q1 q1 q1 J bbb K q0 qF q3 J baa K q0 qF qF qF J abbba K q0 q1 q1 q1 q1 q3 J baab K q0 qF qF qF q3 J/ue co&clu$o ,odemo$ c?e8arL

aaa0 bbb0 aaabb0 bbbaaa0 bbba $o acei"o$. Como ,odemo$ 8e&eralizar a li&8ua8em que + acei"a ,or e$$e au"#ma"oL @oda $"ri&8 que come9a ,or DaE e "iver doi$ Da$E + acei"a e "oda $"ri&8 que come9a ,or DbE e "iver doi$ Db$E + acei"a.

Co&clu$o

'evido M $eu 3a"or de"ermi&($"ico0 ele ,ode $er im,leme&"ado a"rav+$ de2NardOare e2So3"Oare2,ara re$olver diver$o$ ,roblema$ e$,ec(3ico$. Por i&$"P&cia0 '%A$ $o u"ilizado$ ,ara modelar $o3"Oare$ que validam e&"rada$ de u$uCrio "al como o $eu e mail em um $ervidor de correio ele"r#&ico