Logo Passei Direto
Buscar

Programação Orientada a Objetos

Outros
O processo de verificação de tipos torna-se mais importante quando consideramos que, em muitas linguagens de programação, existem tipos complexos e tipos compostos. No caso de tipos compostos como um array ou uma struct, caberá ao analisador semântico a análise dos tipos agregados. Há ainda de se considerar a possibilidade de criação de novos tipos, compostos ou complexos, de acordo com a necessidade do programador. Assim, caberá ao analisador semântico, analisar, por exemplo, um tipo struct criado para atender as necessidades específicas de um programa da mesma forma que ele avalia um tipo inteiro ou real. Com relação a verificação de tipos, qual das afirmativas a seguir é incorreta?
A A checagem estática de tipos é feita em tempo de compilação, como é o caso da linguagem C, quando compilada;
B A checagem de tipos dinâmica é feita em tempo de execução, como é o caso da linguagem PHP, quando interpretada;
C Linguagens de programação podem exigir a definição de tipo para cada variável ou estrutura de dados composta ou, podem determinar estes tipos em tempo de execução, dependendo de escolhas realizadas na definição da linguagem;
D A definição de tipos complexos, como listas e pilhas, independe da linguagem de programação e, como tal, estes tipos podem ser verificados por qualquer analisador semântico;
E Ainda que tipos complexos e compostos tornem o processo de análise semântica mais complexo e demorado, as funcionalidades que são agregadas as linguagens de programação por estes constructors torna sua utilização indispensável.
User badge image
Praticando Para Aprender

ano passado

User badge image
Praticando Para Aprender

ano passado

COMPILADORES - Exercícios 2 - TODAS AS TENTATIVAS (1, 2 e 3) - 100
20 pág.

COMPILADORES - Exercícios 2 - TODAS AS TENTATIVAS (1, 2 e 3) - 100

Respostas

User badge image

Ed Verified user icon

há 3 meses

Vamos analisar cada uma das alternativas para identificar qual delas é incorreta: A) A checagem estática de tipos é feita em tempo de compilação, como é o caso da linguagem C, quando compilada; Correta. A checagem estática realmente ocorre em tempo de compilação. B) A checagem de tipos dinâmica é feita em tempo de execução, como é o caso da linguagem PHP, quando interpretada; Correta. A checagem dinâmica ocorre em tempo de execução, como em PHP. C) Linguagens de programação podem exigir a definição de tipo para cada variável ou estrutura de dados composta ou, podem determinar estes tipos em tempo de execução, dependendo de escolhas realizadas na definição da linguagem; Correta. Isso é verdade, pois algumas linguagens são estaticamente tipadas e outras dinamicamente tipadas. D) A definição de tipos complexos, como listas e pilhas, independe da linguagem de programação e, como tal, estes tipos podem ser verificados por qualquer analisador semântico; Incorreta. A definição e verificação de tipos complexos dependem da linguagem de programação, pois cada linguagem pode ter suas próprias regras e implementações para esses tipos. E) Ainda que tipos complexos e compostos tornem o processo de análise semântica mais complexo e demorado, as funcionalidades que são agregadas às linguagens de programação por estes constructors tornam sua utilização indispensável. Correta. Essa afirmação é verdadeira, pois os tipos complexos realmente agregam funcionalidades importantes. Portanto, a alternativa incorreta é: D.

Essa resposta te ajudou?

0
Dislike0
left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar essa resposta. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

User badge image

Ed Verified user icon

ano passado

Analisando as afirmativas apresentadas: A) A checagem estática de tipos é feita em tempo de compilação, como é o caso da linguagem C, quando compilada - Esta afirmativa está correta, pois na checagem estática de tipos, os tipos são verificados em tempo de compilação. B) A checagem de tipos dinâmica é feita em tempo de execução, como é o caso da linguagem PHP, quando interpretada - Esta afirmativa está correta, pois na checagem de tipos dinâmica, os tipos são verificados em tempo de execução. C) Linguagens de programação podem exigir a definição de tipo para cada variável ou estrutura de dados composta ou, podem determinar estes tipos em tempo de execução, dependendo de escolhas realizadas na definição da linguagem - Esta afirmativa está correta, pois as linguagens podem ter diferentes abordagens em relação à definição de tipos. D) A definição de tipos complexos, como listas e pilhas, independe da linguagem de programação e, como tal, estes tipos podem ser verificados por qualquer analisador semântico - Esta afirmativa está incorreta, pois a definição de tipos complexos pode variar de uma linguagem para outra, e nem todos os analisadores semânticos podem verificar todos os tipos de dados. E) Ainda que tipos complexos e compostos tornem o processo de análise semântica mais complexo e demorado, as funcionalidades que são agregadas as linguagens de programação por estes constructors torna sua utilização indispensável - Esta afirmativa está correta, destacando a importância dos tipos complexos e compostos nas linguagens de programação. Portanto, a afirmativa que é incorreta é a letra D) A definição de tipos complexos, como listas e pilhas, independe da linguagem de programação e, como tal, estes tipos podem ser verificados por qualquer analisador semântico.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

COMPILADORES - Exercícios 2 - TODAS AS TENTATIVAS (1, 2 e 3) - 100
20 pág.

COMPILADORES - Exercícios 2 - TODAS AS TENTATIVAS (1, 2 e 3) - 100

Mais perguntas desse material

Com relação a verificação de tipos, qual das afirmativas a seguir é incorreta?
A análise semântica é o último grande bloco antes da geração do código intermediário;
A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
A determinação dos tipos depende do escopo da variável;
A A análise semântica é o último grande bloco antes da geração do código intermediário;
B A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
C Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
D A determinação dos tipos depende do escopo da variável;

Com relação a verificação de tipos, qual das afirmativas a seguir é incorreta?
Verificar se uma variável foi declarada em duplicidade faz parte das funções do analisador semântico;
Verificar se uma variável foi inicializada antes do uso é parte integrante da verificação de escopo realizada pelo analisador semântico;
Verificar se uma determinada variável foi declarada, mas nunca foi usada está entre as funcionalidades de um analisador semântico;
Verificar se um array, uni ou multidimensional, teve seus limites declarados antes de ser utilizado é parte integrante das funções do analisador semântico;
A Verificar se uma variável foi declarada em duplicidade faz parte das funções do analisador semântico;
B Verificar se uma variável foi inicializada antes do uso é parte integrante da verificação de escopo realizada pelo analisador semântico;
C Verificar se uma determinada variável foi declarada, mas nunca foi usada está entre as funcionalidades de um analisador semântico;
D Verificar se um array, uni ou multidimensional, teve seus limites declarados antes de ser utilizado é parte integrante das funções do analisador semântico;

Considerando as afirmativas a seguir, marque a alternativa errada.
Uma das deficiências da linguagem C está na definição do tipo array que não inclui uma regra de verificação de limites, passando para o programador a responsabilidade sobre a verificação destes limites mesmo quando estes arrays são argumentos de uma função;
Métodos de classes, em linguagens orientadas a objetos não precisam que o analisador semântico observe a consistência dos seus argumentos. A exceção a esta regra é o constructor;
A verificação de argumentos de funções, em todas as chamadas, deve incluir, obrigatoriamente, a verificação dos tipos destes argumentos;
No caso dos argumentos de funções, a verificação de tipos destes argumentos pelo analisador semântico pode produzir uma conversão automática de tipos ou um erro;
Além dos tipos, relativos aos argumentos, o analisador semântico deve se preocupar também com a ordem destes argumentos.
Uma das deficiências da linguagem C está na definição do tipo array que não inclui uma regra de verificação de limites, passando para o programador a responsabilidade sobre a verificação destes limites mesmo quando estes arrays são argumentos de uma função;
Métodos de classes, em linguagens orientadas a objetos não precisam que o analisador semântico observe a consistência dos seus argumentos. A exceção a esta regra é o constructor;
A verificação de argumentos de funções, em todas as chamadas, deve incluir, obrigatoriamente, a verificação dos tipos destes argumentos;
No caso dos argumentos de funções, a verificação de tipos destes argumentos pelo analisador semântico pode produzir uma conversão automática de tipos ou um erro;
Além dos tipos, relativos aos argumentos, o analisador semântico deve se preocupar também com a ordem destes argumentos.

A análise semântica tem o objetivo de verificar a validade das declarações e operações contidas em um código de alto nível. Esta análise, entre outras coisas, verifica o tipo de cada declaração, operação, operando e variável em busca de inconsistências. Com isso em mente marque a alternativa incorreta entre as opções a seguir:
A análise semântica é o último grande bloco antes da geração do código intermediário;
A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
A determinação dos tipos depende do escopo da variável;
Podemos chamar de árvore semântica a árvore sintática após o processo de análise semântica.
A análise semântica é o último grande bloco antes da geração do código intermediário;
A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
A determinação dos tipos depende do escopo da variável;
Podemos chamar de árvore semântica a árvore sintática após o processo de análise semântica.

O uso de memória e o consumo de energia. Neste processo, o código é representado em uma notação próxima da linguagem Assembly mas, ainda independente da máquina. Qual das afirmativas a seguir está correta com relação a esta fase do processo de compilação?
A É na fase de otimização independente de máquina que o compilador torna o código mais eficiente para uso na arquitetura x86.
B Na fase de otimização, independente de máquina, o código é otimizado removendo-se todos os laços do programa de forma que não exista nenhum branch.
C O uso do 3opCode é recomendado já que este código é bem próximo do Assembly e a conversão acaba sendo mais simples.
D Na fase de otimização o compilador busca encontrar os últimos erros de sintaxe que existem no código.
E A parte mais importante do processo de otimização independente é o reconhecimento das funções de endereçamento específicas da arquitetura visada que tornarão o código mais rápido.
A É na fase de otimização independente de máquina que o compilador torna o código mais eficiente para uso na arquitetura x86.
B Na fase de otimização, independente de máquina, o código é otimizado removendo-se todos os laços do programa de forma que não exista nenhum branch.
C O uso do 3opCode é recomendado já que este código é bem próximo do Assembly e a conversão acaba sendo mais simples.
D Na fase de otimização o compilador busca encontrar os últimos erros de sintaxe que existem no código.
E A parte mais importante do processo de otimização independente é o reconhecimento das funções de endereçamento específicas da arquitetura visada que tornarão o código mais rápido.

A análise semântica tem o objetivo de verificar a validade das declarações e operações contidas em um código de alto nível. Esta análise, entre outras coisas, verifica o tipo de cada declaração, operação, operando e variável em busca de inconsistências. Com isso em mente marque a alternativa incorreta entre as opções a seguir:
A A análise semântica é o último grande bloco antes da geração do código intermediário;
B A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
C Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
D A determinação dos tipos depende do escopo da variável;
E Podemos chamar de árvore semântica a árvore sintática após o processo de análise semântica.
A A análise semântica é o último grande bloco antes da geração do código intermediário;
B A análise semântica indica o tipo das variáveis por meio de etiquetas colocadas na árvore sintática;
C Se for necessário, caberá ao processo de análise semântica a marcação das conversões automáticas de tipos;
D A determinação dos tipos depende do escopo da variável;
E Podemos chamar de árvore semântica a árvore sintática após o processo de análise semântica.

No módulo de análise sintática, utilizamos a definição de uma gramática livre de contexto, como base para o processo de análise. Notadamente por que, neste caso, estamos interessados com a forma das declarações e não com o seu significado. No caso da análise semântica isto não é verdade já que um conjunto significativo de erros podem ser detectados no analisador semântico se ele for capaz de entender o sentido das declarações e operações. Entre as afirmacoes a seguir indique aquela que é verdadeira.

A Erros de compatibilidade de tipos não são importantes para o analisador semântico;
B A verificação de variáveis e declarações em relação ao escopo de cada bloco de código é função do analisador sintático;
C A duplicidade de declarações de variáveis faz parte das funções do analisador semântico;
D Sem o analisador semântico o compilador não seria capaz de detectar nenhum erro de digitação;
E A tabela de símbolos, muito importante nas análises léxica e sintática não tem função na análise semântica.

Compiladores
O processo de compilação é complexo. Para seu entendimento dividimos este processo em módulos de acordo com suas funcionalidades principais. Desta forma temos o analisador léxico, o analisador sintático, o analisador semântico entre outros dependendo apenas da didática utilizada para explicar cada um destes módulos e suas funcionalidades. Do ponto de vista da manutenção dos dados necessários ao processo de compilação, no entanto, há um módulo que permeia todos os outros, a tabela de símbolos. É nesta estrutura de dados que estão armazenados os tokens, a árvore sintática e a árvore semântica. Considerando as afirmativas a seguir marque a que está correta.
A A árvore semântica é a árvore sintática que foi identificada (etiquetada) pelo analisador semântico, contendo correções de tipos, indicações de erro;
a) A
b) B
c) C
d) D
e) E

Antes da geração do código executável, o programa que será executado em uma determinada arquitetura, o compilador realiza uma otimização de código específica para a arquitetura visada. Neste momento, a otimização específica, ou dependente da máquina, o código oriundo do módulo de geração de código é, finalmente, adequado a máquina onde será executado. Considerando esta última fase, qual das afirmacoes a seguir está errada.
A É na fase de geração de código executável, logo após a otimização que o código é encapsulado no formato exigido pelo sistema operacional.
B A otimização específica para uma arquitetura permite que o código executável utilize da melhor forma possível todos os recursos da máquina.
C Ainda que o código seja otimizado várias vezes e de formas diferentes, não é possível afirmar que o programa resultante é perfeito.
D O código executável, gerado na última fase da compilação contém a tabela de símbolos criada durante todo o processo de compilação.
E No processo de compilação existe pelo menos uma fase de eliminação de código morto.

Mais conteúdos dessa disciplina