LINGUAGENS FORMAIS

Lista de Exercícios – Expressões Regulares

Soluções

1. Defina uma ER para denotar cada uma das linguagens a seguir:

a. {𝑤|𝑤 ∈ {𝑎, 𝑏}∗ ∧ 𝑤 possui a subpalavra 𝑎𝑎}
(𝑎 + 𝑏)∗ 𝑎𝑎(𝑎 + 𝑏)∗
b. {𝑤|𝑤 ∈ {𝑎, 𝑏}∗ ∧ 𝑤 possui exatamente dois 𝑏’s}
𝑎∗ 𝑏𝑎∗ 𝑏𝑎∗
c. {𝑤|𝑤 ∈ {𝑎, 𝑏}∗ ∧ 𝑤 possui o prefixo 𝑎𝑎 ou 𝑏𝑏}
(𝑎𝑎 + 𝑏𝑏)(𝑎 + 𝑏)∗
d. {𝑤|𝑤 ∈ {𝑎, 𝑏}∗ ∧ 𝑤 não possui 𝑎′ s consecutivos}
(𝑎 + ε)(𝑏 + 𝑏𝑎)∗ ou (𝑏 + 𝑎𝑏)∗ (𝑎 + ε)
∗
e. {𝑤|𝑤 ∈ {𝑎, 𝑏, 𝑐} ∧ 𝑤 não possui a subpalavra 𝑎𝑏𝑎}
(𝑎∗ 𝑏𝑏 + 𝑎∗ 𝑏𝑐 + 𝑎∗ 𝑐 + 𝑏 + 𝑐)∗ 𝑎∗ (𝑏 + 𝜀)
f. {𝑤|𝑤 ∈ {𝑎, 𝑏, 𝑐}∗ ∧ 𝑤 possui pelo menos um 𝑎 e um 𝑏}
(𝑐 + 𝑎 + 𝑏)∗ (𝑎(𝑐 + 𝑎 + 𝑏)∗ 𝑏 + 𝑏(𝑐 + 𝑎 + 𝑏)∗ 𝑎)(𝑐 + 𝑎 + 𝑏)∗
g. {𝑤|𝑤 ∈ {0,1}∗ ∧ se 𝑤 começa por 0, então 𝑤 não contém 0′ s consecutivos}
0(10 + 1)∗ + 1(0 + 1)∗ + ε
2. Descreva informalmente, em português, as linguagens denotadas pelas seguintes ER’s:
a. (1 + 01)∗ (ε + 0)
Linguagem sobre o alfabeto {0, 1}, onde não há palavras com zeros consecutivos
b. ((0 + 1)(0 + 1))∗ + ((0 + 1)(0 + 1)(0 + 1))∗
Linguagem sobre o alfabeto {0, 1}, onde o comprimento das palavras é um número
par ou múltiplo de 3
c. (0 + 1 + (0 + 1)∗ )10
Linguagem sobre o alfabeto {0, 1}, onde as palavras possuem sufixo 10.
d. (1 + 01 + 001)∗ (ε + 0 + 00)
Linguagem sobre o vocabulário {0,1}, cujas palavras contêm no máximo dois zeros
consecutivos.
e. (00 + 11 + (01 + 10)(00 + 11)∗ (01 + 10))∗
Linguagem sobre o vocabulário {0,1}, cujas palavras possuem um número par de 0’s
e 1’s
f. (𝑎 + 𝑏(𝑎 + 𝑐)∗ 𝑏 + 𝑐)∗ 𝑏(𝑎 + 𝑐)+
Linguagem sobre o vocabulário {a,b,c}, cujas palavras possuem um número ímpar
de b’s e terminam por a ou c.