AP1 – Autômatos e Linguagens Formais

28 de outubro de 2021

Nome: Nota:

Importante:

Em cada página da sua resposta, coloque nome e nº de matrı́cula. Ao submeter sua resposta,
você estará confirmando que a solução foi completamente construı́da e escrita por você, sem
ajuda de outra pessoa. Sua solução deve ser manuscrita, fotografada e enviada na forma de
arquivos digitais. Por favor, envie sua resposta na forma de arquivos .pdf.
Questão 1. Escolha apenas 1 (um) dos 3 itens a seguir e apresente um autômato que reconheça todas e
apenas as palavras que possuem a propriedade que você escolheu.

i. (1,5 pontos) Ocorre o padrão aaa, mas não ocorre abb.

ii. (2,0 pontos) Ocorre o padrão aaab, mas não ocorre o padrão abb nem o padrão abab
iii. (2,5 pontos) Todo bloco aab é precedido por pelo menos um bloco do tipo abb, não necessariamente
adjacente. (Sem considerar sobreposições.)

Questão 2. Escolha apenas 1 (um) dos 3 itens a seguir e apresente um autômato que reconheça todas e
apenas as palavras que possuem a propriedade que você escolheu.

i. (1,0 ponto) Palavras onde o número de a’s é múltiplo de 6.

ii. (2,0 pontos) Palavras onde o número de a’s é multiplo de 3, mas não é par.
iii. (2,5 pontos) Palavras onde o número de a’s é multiplo de 3 e o número de b’s é par.

Questão 3. Considere o seguinte autômato:

b

q0 q1 q2 q3 q4
b a b b

a b

a
a

a) (0,5 pontos) Descreva com suas palavras qual tipo de palavras o autômato aceita.
b) (2,0 pontos) Apresente um argumento de correção do autômato em relação à propriedade de palavras
que você descreveu mostrando o caso positivo e o caso negativo.

1
Questão 4. (2,5 pontos) Considere o autômato abaixo:
a
q0 q2

b b b b

q1 a q3

Utilize o método de eliminação de estados para encontrar uma expressão regular que descreva exatamente as
palavras reconhecidas por esse autômato. Mostre os passos do procedimento.