IF65A Lista de Exerccios 4 de maro de 2015

1. Defina um automato finito determinstico para cada uma das linguagens abaixo:

L = {w { a, b} ||w| a par e|w|b mpar}

L = {w { a, b} |w comea com a e termina com b}
L = {w { a, b} |w tem abab como substring}
L = {w { a, b} |w tem tanto ab quantoba como substring}
L = {w { a, b} |w no tem nem aa e nem bb como substring}
L = {w { a, b} |cada a em w est imediatamente precedido por um b}

2. Considere o automato A abaixo:

a

qb b qd
a

start qa a,b
b

a,b
qc qe a,b

RESPONDA:

Descreva informalmente a linguagem de L( A).

A palavra aaab pertence a L( A) ? Justifique a tua resposta atravs do clculo de
(q a , aaab).

3. Pesquise sobre trs aplicaes prticas dos automatos.

IF65A Lista de Exerccios Pgina 1 de 1