Você está na página 1de 5

07/10/2022 17:36 Estácio: Alunos

Meus
Simulados
Teste seu conhecimento acumulado

Disc.: LINGUAGENS FORMAIS, AUTÔMATOS E COMPILADORES   

Aluno(a): EBERT PALMEIRA DE SOUZA SILVA 202103892574

Acertos: 5,0 de 10,0 07/10/2022

1a
          Questão Acerto: 1,0  / 1,0

A análise sintática é usualmente implementada a partir de uma gramática:

Sensível ao contexto
Regular
Livre de contexto
Irrestrita
Com estrutura de frase
Respondido em 07/10/2022 16:51:26

Explicação:

As gramáticas regulares são utilizadas para a análise léxica em compiladores de linguagens de programação. A
parte gramatical da linguagem é verificada por meio de árvores de derivação geradas a partir de gramáticas
livres de contexto.

2a
          Questão Acerto: 0,0  / 1,0

Adaptado do livro Linz, Peter. An Introduction to Formal Languages and Automata, 6. Ed. Jones & Bartlett
Learning, 2016.

(a, b)+ significa

Qualquer combinação de a, b, mas 'b' virá primeiro


Qualquer combinação de a, b incluindo nulo
Qualquer combinação de a, b excluindo nulo
Qualquer combinação de a, b, mas 'a' virá primeiro
λ
Respondido em 07/10/2022 17:33:49

Explicação:

Utilizando o fecho de Kleene, sabemos que a expressão (a, b)+ gera qualquer combinação de cadeias
compostas pelos símbolos a e b e, necessariamente, não inclui a cadeia nula λ. Neste caso, a ordem em que
aparecem os símbolos nas cadeias não requer que "a" venha antes de "b". Se isso fosse necessário
escreveríamos (ab)+

https://simulado.estacio.br/alunos/ 1/5
07/10/2022 17:36 Estácio: Alunos

3a
          Questão Acerto: 0,0  / 1,0

Sejam os conjuntos A com 2 elementos, B com 4 elementos, C com 5 elementos, então:

(A ∪ B) ∪ C tem no máximo 2 elementos


A ∩ ∅ tem 3 elementos pelo menos
A ∩ B tem no máximo 1 elemento
(A ∩ B) ∩ C tem no máximo 2 elementos
A ∪ C tem no máximo 5 elementos
Respondido em 07/10/2022 16:52:27

Explicação:

A intersecção de A com B tem no máximo dois elementos, uma vez que o conjunto A só tem dois elementos.
Essa intersecção pode ter zero, um ou dois elementos. Isto pode ser visto desenhando um diagrama de Venn. A
U B terá seis elementos e A U C terá sete elementos. Como C tem 5 elementos, mas a intersecção de A com B
tem, no máximo dois elementos, então (A ∩ B) ∩ C tem, no máximo 2 elementos.

4a
          Questão Acerto: 0,0  / 1,0

(POSCOMP / 2016) O autômato finito exposto abaixo representa qual expressão regular?

a*b(c + da*b)*
a*c* (b +d)*
a*b (d* + cb)
(bb + d)* (aa + c)*
ab*(da* + cb)*
Respondido em 07/10/2022 17:33:34

Explicação:

Gabarito: a*b(c + da*b)*

Justificativa: Esse AF reconhece a*b, uma vez que essa cadeia leva a um estado final. Na sequência deve
reconhecer qualquer número de entradas de 'c' e deixar o estado quando receber uma entrada 'd'. Permanecer
nesse primeiro estado enquanto entrar 'a' e voltar ao estado final quando entrar um 'b'. Essa parte implica
reconhecer c*+ da*b. Ocorre que para reconhecer apenas a cadeia a*b essa segunda parte tem que ser nula,
daí a necessidade de se acrescentar um fecho de kleene na segunda expressão, resultando em: a*b(c +
da*b)*.

5a
          Questão Acerto: 0,0  / 1,0

A expressão regular que permite reconhecer a digitação correta de CEP no Brasil no modelo ddddd-ddd é:

https://simulado.estacio.br/alunos/ 2/5
07/10/2022 17:36 Estácio: Alunos

^\\d{5,5}\\-\\d{3,1}$
^\\d{3,5}\\-\\d{5,3}$
^\\d{3,3}\\-\\d{5,5}$
^\\d{5,1}\\-\\d{3,1}$
^\\d{5,5}\\-\\d{3,3}$
Respondido em 07/10/2022 17:32:40

Explicação:

Gabarito: ^\\d{5,5}\\-\\d{3,3}$

Justificativa: O padrão de CEP no Brasil é composto de 5 dígitos numéricos separados por um traço e mais três
dígitos. A única alternativa que satisfaz esse padrão é a alternativa "^\\d{5,5}\\-\\d{3,3}$"

6a
          Questão Acerto: 1,0  / 1,0

(POSCOMP / 2009 - adaptada) Seja o alfabeto Σ = {a, b} e a linguagem regular


L = {ω|ω ∈ Σ ∗ e o n° de a's em ω é par}. Qual das expressões regulares abaixo gera essa
linguagem?

( a | b )*
(a b* b b*)*
( ( a  )* | b* )*
( b* a b* a b* )*
( b* | ( a )* | b* )*
Respondido em 07/10/2022 17:20:02

Explicação:

Gabarito: ( b* a b* a b* )*

Justificativa: Observe que a única alternativa em que se pode garantir que haverá a ocorrência de zero ou
outro número par de 'a' é ( b* a b* a b* )*. Nas demais alternativas, sempre é possível gerar uma palavra com
número ímpar de 'a'.

7a
          Questão Acerto: 1,0  / 1,0

Uma linguagem L gerada a partir de uma dada GLC onde não existem ciclos no grafo direcionado gerado a
partir das regras de produção dessa GLC, é denominada de:

Irrestrita (sem restrições).


Recursiva.
Sem contexto.
Finita.
Infinita.
Respondido em 07/10/2022 17:34:04

Explicação:

Gabarito: Finita.

Justificativa: Uma linguagem L gerada a partir de uma dada GLC é finita se não houver ciclos no grafo
direcionado gerado a partir das regras de produção dessa GLC.

https://simulado.estacio.br/alunos/ 3/5
07/10/2022 17:36 Estácio: Alunos

8a
          Questão Acerto: 0,0  / 1,0

Seja a seguinte gramática S → aSa | bSb | a | b

Palíndromos são cadeias do tipo wwr, ou seja, aqueles que lidos da esquerda para a direita ou vice e versa,
são iguais. A linguagem gerada pela gramática acima sobre o alfabeto {a, b) é o conjunto de:

Todos os palíndromos de comprimento ímpar.


Todos os palíndromos.   
Todos os palíndromos de comprimento par.
A gramática não gera palíndromos.
Cadeias que começam e terminam com símbolos diferentes.
Respondido em 07/10/2022 17:16:47

Explicação:

Gabarito: Todos os palíndromos de comprimento ímpar.

Justificativa: Realizando algumas derivações como exemplo pode-se perceber que a alternativa b é a correta,
por exemplo: S → aSa → S → aaa; S → aSa → S → abSba → ababa.

9a
          Questão Acerto: 1,0  / 1,0

Uma redução é um processo de conversão de um problema em outro problema resolvido de tal forma que a
solução do segundo problema possa ser usada para resolver o primeiro problema. Em particular, a
redutibilidade pode ser usada para demonstrar que problemas são indecidíveis ou decidíveis. Nesse contexto,
avalie as seguintes afirmativas:

I. A Redutibilidade não diz nada em resolver os problemas A ou B sozinhos, mas somente sobre a
resolução de A na presença de um método para resolver B.
II. Reduções apresentam um importante papel em classificar os problemas em decidíveis ou indecidíveis.
III. Se A é redutível a B e B é um problema indecidível, então A é um problema decidível.

Quais as afirmativas verdadeiras?

I e III.
II e III.
III.
I e II.
I, II e III.
Respondido em 07/10/2022 17:13:54

Explicação:

Na afirmativa III, se A é redutível a B e B é um problema indecidível, então A é um problema indecidível.

10a
          Questão Acerto: 1,0  / 1,0

O problema da parada para máquinas de Turing, ou simplesmente problema da parada, pode ser assim
descrito: determinar, para qualquer máquina de Turing M e palavra w, se M irá eventualmente parar com
entrada w. Mais informalmente, o mesmo problema também pode ser assim descrito: dados um algoritmo e
uma entrada finita, decidir se o algoritmo termina ou se executará indefinidamente. Para o problema da
parada:

Não existe algoritmo exato, mas existe algoritmo de aproximação de tempo de execução exponencial
que o soluciona, fornecendo respostas aproximadas. 
https://simulado.estacio.br/alunos/ 4/5
07/10/2022 17:36 Estácio: Alunos

Existe algoritmo exato de tempo de execução exponencial para solucioná-lo.


Não existe algoritmo que o solucione, não importa quanto tempo seja disponibilizado. 
Não existe algoritmo exato, mas existe algoritmo de aproximação de tempo de execução polinomial
que o soluciona, fornecendo respostas aproximadas.
Existe algoritmo exato de tempo de execução polinomial para solucioná-lo.
Respondido em 07/10/2022 16:55:58

Explicação:

Não existe nenhuma máquina de Turing M que consiga decidir se vai parar ou entrar em loop infinito. O
problema da parada é indecidível, portanto não existe algoritmo que o solucione.

https://simulado.estacio.br/alunos/ 5/5

Você também pode gostar