Universidade Federal de Alagoas

Instituto de Computação
Engenharia de Computação
Linguagens Formais, Autômatos e Computabilidade
Primeira Prova – 25/11/2021
Professor: Leandro Dias da Silva
Aluno:

Observações: A prova é individual e sem consulta.

1. Que tipo de autômato é ilustrado na Figura 1? Que linguagem ele reconhece?

Mostre a definição formal. Mostre a computação da palavra w=00111. A palavra é
aceita? (2 pontos)
2. Construa o autômato finito não determinístico equivalente ao da Figura 1. Mostre os
passos da conversão. (2 pontos)
3. Construa o autômato finito, definição formal e o diagrama, com Σ={0,1}, que aceita
palavras que tem 1 na terceira posição da direita para a esquerda da palavra.
4. Construa o autômato finito, com alfabeto Σ={a,b}, que reconheça a linguagem em
que qualquer ocorrência de a é imediatamente sucedida por b.
5. Explique com suas palavras o que significa computação no contexto dos autômatos
estudados.
6. Suponha uma máquina que venda dois tipos de doces, um que custa R$0,15 e outro
que custa R$0,20. Suponha que a máquina aceita somente moedas de R$0,05 e de
R$0,10. Suponha, ainda, que a máquina não dá troco. Faça o autômato finito que
modele o funcionamento da máquina. (2 pontos)
7. Desenvolva autômatos finitos determinísticos que reconheçam as seguintes
linguagens sobre Σ= {a,b}:
a) {w | o sufixo de w é aba}.
b) {w | w possui aa como subpalavra}.

Figura 1.