SIMULADO TRABALHO nº1

INSTRUÇÕES:
1 O simulado do trabalho pode ser resolvido individualmente ou em duplas.
2 Poste o arquivo com as respostas na tarefa RESOLUÇÃO do simulado do trabalho no.1 até às 20h10 do dia 25 de
março. Para aqueles que estão resolvendo em dupla, basta apenas um dos estudantes postar o arquivo. Caso a dupla
envie mais de um arquivo, será avaliado o último arquivo enviado.

NOME(s):

Nicolas Andrei Ceruti

QUESTÕES/RESPOSTAS:
1. (1,2 pontos)
a) Para a linguagem L1={ w | w  {a, b}+  |w|  3 }, assinale na tabela abaixo, todas as palavras com até quatro símbolos
que pertencem à linguagem.
( ) (X ) a (X ) b (X ) aa (X ) ab (X ) ba (X ) bb ( ) aaa ( ) aab ( ) aba ( ) abb
( ) baa ( ) bab ( ) bba ( ) bbb (X ) aaaa (X ) aaab (X ) aaba (X ) aabb (X ) abaa ( x) abab (X ) abba
(X ) abbb ( ) baaa ( ) baab (x ) (X ) babb (X ) bbaa (X ) bbab (X ) bbba (X ) bbbb
baba

b) Considerando todas as palavras que pertencem à linguagem, possivelmente além das relacionadas na tabela acima,
L1 é: ( ) vazia ( ) finita (X ) infinita
c) Para a linguagem L2={ w | w  {a, b}+  |w|<5, w contém número de as ímpar e possui bs consecutivos } assinale na
tabela abaixo, todas as palavras com até quatro símbolos que pertencem à linguagem.
( ) ( )a ( )b ( ) aa ( ) ab ( ) ba ( ) bb ( ) aaa ( ) aab ( ) aba (X ) abb
( ) baa ( ) bab ( x) bba ( ) bbb ( ) aaaa ( ) aaab ( ) aaba ( ) aabb ( ) abaa ( ) abab ( ) abba
(X ) abbb ( ) baaa ( ) baab ( ) baba (X ) babb ( ) bbaa (X ) bbab (X ) bbba ( ) bbbb

d) Considerando todas as palavras que pertencem à linguagem, possivelmente além das relacionadas na tabela acima,
L2 é: ( ) vazia (x ) finita ( ) infinita

2. (1,0 ponto) Considere a expressão regular a seguir: 3. (1,0 ponto) Considere a expressão regular a seguir:

(a (a | b)* a)* (a)* a | a? b (a | b)*

Analise as afirmativas e identifique as corretas: Analise as afirmativas e identifique as corretas:

I- A expressão é equivalente a: (a (a | b)* a |  | a)
II- A linguagem denotada é L={ w | w  {a, b}+  w não
começa nem termina com b }.
III- A linguagem denotada é L={ w | w  {a, b}*  w tem a
como prefixo e como sufixo }.
I- A expressão regular é equivalente a: (a b? | b) (a | b)*
II- A linguagem denotada é L={ w | w  {a, b}+  w não tem
prefixo aa }.
III- A linguagem denotada é L={ w | w  {a, b}+  w tem o
padrão de formação ax by, sendo x1, y1 }.

É correto o que se afirma em: É correto o que se afirma em:

(A) I, II e III. (A) I, apenas.
(B) I , apenas. (B) II, apenas.
(C) II, apenas. (C) III, apenas.
(D) I e III, apenas. (D) I e II, apenas.
(E) II e III, apenas. (E) I e III, apenas.

4. (1,2 pontos) Especifique uma expressão regular para a linguagem: L={ w | w  {a, b}+  |w|  3 }.
(a|b)+ | ((a|b)+)2 | ((a|b)+)*+4

5. (1,0 ponto) Especifique uma expressão regular para a linguagem: L={ w | w  {a, b}+  w termina com exatamente
dois bs consecutivos }. Assim, as palavras bb, abb, ababbbabb são válidas, enquanto b, a, abababbba, abababbb
não são.
(a|b)+ bb
6. (1,0 ponto) Analise o autômato finito a seguir: 7. (1,0 ponto) Considere o autômato finito (AF) abaixo:

Considere as afirmativas relacionadas ao autômato finito.

Registre V, para verdadeiras, e F, para falsas
( ) A linguagem reconhecida é L={ w | w  {a, b}*  w é
composta por pelo menos um a }. Registre V, para as palavras reconhecidas pelo autômato,
( ) A linguagem reconhecida é L={ w | w  {a, b}*  w é e F, para as palavras não reconhecidas, e escolha a
denotada por (a (a | b)* a)* (a)* }. alternativa com a sequência correta:
( ) O autômato finito é equivalente a: ( ) baabab
( ) aaabaab
( ) aaabb
( ) baabaab
( ) bababa

(A) V–V–F–F–V
(B) V–F–F–F–V
(C) F–V–F–V–F
(D) V–V–V–F–V
(E) F–V–F–V–V

Assinale a alternativa com a sequência correta:

(A) F – V – F
(B) V – F – V
(C) F – V – V
(D) V – V – F
(E) F – F – V

8. Construa autômatos finitos para as linguagens abaixo, sendo que o autômato finito não pode ter transições sem rótulos
ou rotuladas com .
a) (1,3 pontos)
L={ w | w  {a, b}+  w é definida por: (a | b+ a)* b b }
b) (1,3 pontos) L={ w | w  {a, b}*  w é definida por: (a | b)* (a | ab) | b? }