Linguagens Formais e Autômatos - TESTE 01-1

Henrique Viana

1 Expressão Regular
1. Em cada item abaixo, encontre uma string de tamanho mínimo em {a, b}∗ que não esteja na
linguagem correspondente à expressão regular dada.
(a) b∗ (ab)∗ a∗ .
(b) (a∗ + b∗ )(a∗ + b∗ )(a∗ + b∗ ).
(c) a∗ (baa∗ )∗ b∗ .
(d) b∗ (a + ba)∗ b∗ .
2. Escreva Expressões Regulares para as seguintes linguagens.

(a) O conjunto de todas as strings de 0’s e 1’s não contendo 101 como substring.
(b) O conjunto de strings de 0’s e 1’s cujo número de 0’s é divisível por três e cujo número
de 1’s é divisível por 2.
(c) O conjunto de todas as strings de 0’s e 1’s tal que todo par de 0’s adjacentes aparece
antes de todo par adjacente de 1’s.
(d) O conjunto de todas as strings de 0’s e 1’s com no máximo dois pares de 1’s consecutivos.
3. Considere as expressões regulares r = a∗ + b∗ e s = ab∗ + ba∗ + b∗ a + (a∗ b)∗ .
(a) Encontre uma string correspondente a r, mas não a s.
(b) Encontre uma string correspondente a s, mas não a r.
(c) Encontre uma string correspondente a ambos r e s.
(d) Encontre uma string que não corresponde a r e nem s.

2 Autômato Finito Determinístico

1. Para cada item, apresente um autômato finito determinístico que reconhece a linguagem
especificada. Considere Σ = {a, b}.

(a) {w : w tem no mínimo três a’s e no máximo dois b’s}.

(b) {w : w contém strings compostas por uma sequência de tamanho ímpar de a’s ou não
contém strings compostas por uma sequência de tamanho ímpar de b’s}.
(c) {w : w é uma string que contém um número de a’s e não contém um número de b’s
múltiplo de dois}.
(d) {w : w cada a é seguido por pelo menos dois b’s}.