MATA51 - Teoria da Computação

DCC / UFBA
Profa. Laís Salvador

Trabalho - JFlap

1) Utilize a ferramenta JFlap para construir máquinas de Turing, determinísticas ou não, que
aceitem as seguintes linguagens:

L1 = {w  {a, b,c}* tal que |w|a = 2.|w|b = 3.|w|c }

L2 = { vwcwruurv onde v {a, b,c}* e w,u  {a, b}* }

2) Utilize a ferramenta JFlap para construir máquinas de Turing, determinísticas ou não, que
computem as seguintes funções recursivas:

a) f(x) = x+1 (sucessor )

b) f(x) = x-1 (predecessor)
c) soma(x,y) = x+y

d) monus(x,y) = x  y

x  y x y
e) min (x,y) dica: usar a função x  y  
 0 caso contrário

Observações:

 Na 2ª. questão: Usar o alfabeto binário nas máquinas das letras a) até c) e usar o alfabeto
unário nos itens d) e e);
 No caso do sucessor, prever o caso do overflow e programar um shift para direita;
 Trabalho em trio;
 Data de entrega: 31/03/2016.