Universidade do Estado Da Bahia Curso de Anlise De Sistemas Professor: Andr Magalhes Ricardo Tssio Dantas da Silva

Exerccios De Fixao
(QUESTO 01) O que um autmato finito?

R: Um autmato finito tem um conjunto de estados, alguns dos quais so denominados estados finais. medida que caracteres da string de entrada so lidos, o controle da mquina passa de um estado a outro, segundo um conjunto de regras de transio especificadas para o autmato. Se aps o ltimo carcter o autmato encontra-se em um dos estados finais, a string foi reconhecida (ou seja, pertence linguagem). Caso contrrio, a string no pertence linguagem aceita pelo autmato.
(QUESTO 02) O que um autmato finito determinstico e no determinstico?

Um autmato finito determinstico (AFD, ou DFA em ingls) um autmato que Encontra-se sempre em um nico estado aps ler uma sequncia qualquer de entrada. O termo determinstico implica que existe um e somente um estado ao qual o autmato pode transitar a partir de seu estado atual. Em contraste, autmatos finitos no determinsticos podem estar em vrios estados ao mesmo tempo.
(QUESTO 03) Desenvolva autmatos que reconheam as seguintes linguagens: a. {w _ {a, b}* | aaa subpalavra de w}

b. {w _ {a, b}* | o sufixo de w aa}

c. {w _ {0, 1}* | w possui um nmero par de 1s}