an

Sistemas de Estados Finitos AF Determinsticos

Definio formal de um AF Determinstico Um AF Determinstico (AFD) denotado formalmente por uma quntupla (Q, , , qo, F) onde: Q o conjunto de estados um alfabeto finito qo Q o estado inicial F Q o conjunto de estados finais (delta) a funo de transio de estados mapeando Q X Q. (qi,a) = qj determinismo
2

Esquema da Mquina e Representao usando grafos

Esquema:
0 1 0 1 0 0

Fita com a seqncia

Controle Finito

de smbolos de

p
estado anterior

a
smbolo lido

q
novo estado

qo estado inicial

qf estado final
3

Exemplo
Seja L = {w|w da forma x01y para algumas cadeias x e y que consistem somente de 0s e 1s} ou L = { x01y | x e y {0,1}* } Ento 01, 11010 e 100011 L e

l, 0 e 111000 L.
Vejamos: Seja A o autmato.

= {0,1}. Seja qo Q o estado inicial. Para decidir se 01

uma subcadeia da entrada, A precisa lembrar:

1. Ele j viu 01? Se sim, ele aceita toda sequncia de caracteres adicionais; i.e, de agora em diante ele estar sempre num estado final (de aceitao). 2. Ele nunca viu 01, mas o ltimo caracter foi 0; assim, se agora ele vir o 1, ter visto 01 e poder aceitar tudo que vier daqui por diante. 3. Ele nunca viu 01, mas ou ele acabou de iniciar ou acabou de encontrar 1; nesse caso, A no pode aceitar at ver primeiro um 0 seguido de 1. Cada uma das condies acima pode ser representada por um estado. A condio (3) o estado inicial qo. Ficamos nesse estado at aparecer um 0. Logo (qo, 1) = qo. Mas se estamos em qo e vemos um 0, estamos na condio 5(2). Seja q2 esse estado. Assim, (qo, 0)=q2

Se, em q2, vemos um 0, ainda no encontramos 01, mas estamos na mesma situao de ter o 0 e esperar o 1; logo, ficamos no mesmo estado: (q2, 0)=q2. Se, no entanto, em q2, vemos 1, ento teremos a subcadeia 01 e podemos ir para um estado final, que corresponde situao (1); chamaremos de q1. Logo, (q2,1)=q1. Em q1, j vimos a sequncia 01, ento no importa o que aparecer, ainda estaremos na situao de j ter visto 01. Isto , (q1,0) = (q1, 1) = q1. Dessa forma, Q={qo, q1, q2}. qo o estado inicial e F={q1}: A = ({qo, q1, q2}, {0,1}, , qo, {q1}), onde a funo de transio descrita anteriormente.
6

Aceitando cadeias funo de transio estendida

Estendemos a funo de transio para aceitar cadeias: : Q X * Q (q,w) um estado p onde o AF vai estar depois de ler a cadeia w, comeando do estado q. Isto , existe um caminho no diagrama de transies de q para p denominado w Definimos por induo: 1) BASE: (q,l) = q (sem ler um smbolo de entrada o AF no pode mudar de estado)

2) INDUO: Suponha w uma cadeia da forma xa; ou seja, a o ltimo smbolo de w, e x a subcadeia que consiste de tudo, menos o ltimo smbolo. Ento: (q,w) = ((q,x),a)
Para calcular (q,w), primeiro calculamos (q,x). Suponha que esse estado seja p, ou seja, (q,x)=p. Ento (q,w) o que obtemos fazendo uma transio do estado p sobre a entrada a, o ltimo smbolo de w. Isto , (q,w) = (p,a).

Linguagem aceita por um AF M Uma cadeia x aceita pelo AFD M = (Q, , , qo, F) se (qo,x) = p para algum p F. Ou L(M) = {x | (qo,x) F} Def 1: Uma linguagem aceita por um AFD uma Linguagem Regular Def 2: Dois AF M1 e M2 so equivalentes se e somente se L(M1) = L(M2)
8

Exerccio

Fazer um AFD M tal que

L(M) = {w | w {0,1}* e possui um nmero par de ocorrncias de 0s e de 1s }

http://www.jflap.org/
9

Exemplo 1
Fazer um AFD M que aceita L(M) = {w | w possui um nro par de 0s e de 1s }

Diagrama de Transio de Estados

Cadeia aceita: configurao final VERDE

10

Cadeia no aceita: configurao final ROSA

11

Reconhecimento de 110101
(qo,1) = q1 e (q1,1) = qo Assim: (qo,11) = ((qo,1),1) = (q1,1) = qo ... (qo,110101) = qo Portanto 110101 est na L(M)

M = ({qo,q1,q2,q3}, {0,1}, , qo, {qo}) entradas Funo de Transio de Estados : estados 0 1 (qo,0) = q2 (qo,1) = q1 qo q2 q1 (q1,0) = q3 (q1,1) = q0 q1 q3 q0 Tabela de (q2,0) = q0 (q2,1) = q3 Transio q2 q0 q3 (q3,0) = q1 (q3,1) = q2 de Estados q3 q1 q2 12

Como projetar um AF?

Tendo somente uma memria finita,
s podemos lembrar as informaes importantes e associ-las aos estados Usamos os estados para armazenar a paridade dos nmeros e no os nmeros, o que exigiria um nmero infinito de estados

Linha dos 0s

Linha dos 1s

13

14

15

16

Quando o estado final o inicial a cadeia vazia aceita

Inicio de uma simulao, entrada em negrito

17

Fazer um AFD M que aceita L(M) = {w {0,1}* |w possua pelo menos dois 0s consecutivos}

Exemplo 2

Garantindo a restrio...

18

Completando o AFD M e reconhecendo uma cadeia de L(M)

M = ({q0,q1,q2}, {0,1}, , q0,{q2})

Fim de uma simulao, entrada em cinza

19

Exemplo 3 Fazer um AFD M que aceita L(M) = {w {0,1}* |w possua um nmero impar de 1s}
Garantindo a restrio...

20

Completando o AFD M e reconhecendo uma cadeia de L(M) M = ({q0,q1}, {0,1}, , q0,{q1})

Aceitao no JFLAP = verde, com indicao do estado em que parou ou ler a cadeia de entrada
21