Durante a análise sintática ascendente em compiladores, técnicas de parsing baseadas em shift e reduce utilizam regras de produção da gramática para reconhecer estruturas válidas da linguagem. Nesse contexto, é correto afirmar que operação Reduce 

No contexto da Teoria da Computação, os autômatos finitos são modelos formais utilizados para o reconhecimento de linguagens regulares. O Autômato Finito Determinístico (AFD) e o Autômato Finito Não Determinístico (AFN) distinguem-se principalmente quanto à definição e ao comportamento da função de transição δ. Com base nas definições formais desses modelos, informe se é verdadeiro (V) ou falso (F) o que se afirma a seguir e assinale a alternativa com a sequência correta.
( ) Em um AFD, são permitidas transições vazias (ε) que possibilitam a mudança de estado sem o consumo de símbolos da entrada. ( ) Formalmente, no AFD, a função de transição pode ser representada por δ: Q × Σ → Q. ( ) Em um AFN, o processamento de uma cadeia pode ocorrer por múltiplos caminhos de execução possíveis a partir de um mesmo estado e símbolo de entrada. ( ) No AFN, a função de transição pode ser formalmente representada por δ: Q × Σ → P(Q).

m Professor do Magistério do Ensino Básico, Técnico e Tecnológico do IFCE está orientando seus estudantes na implementação de um compilador simplificado para fins didáticos.
Durante os testes do analisador léxico, sintático e semântico, um dos grupos apresenta o seguinte trecho de código para ser avaliado

: int 1x; // Linha 1 int y; y = “texto”; // Linha 3 x$ = 5; // Linha 4 int #z; // Linha 5

O professor solicita que os alunos identifiquem quais erros seriam detectados em cada fase do processo de compilação. Em especial, ele pede que indiquem um erro que seria identificado especificamente na fase de análise semântica, isto é, após a verificação léxica e sintática.
Com base na situação exposta, assinale a alternativa que apresenta um erro detectado especificamente na fase de análise semântica do compilador. 

Em desenvolvimento de software, bibliotecas são recursos reutilizáveis que reúnem funções e módulos, podendo ser estáticas, dinâmicas (compartilhadas) ou de cabeçalho, conforme a forma de linkagem e utilização em tempo de execução. A respeito do tema, informe se é verdadeiro (V) ou falso (F) o que se afirma a seguir e assinale a alternativa com a sequência correta.
( ) Bibliotecas Dinâmicas (ou Compartilhadas) não permitem reutilização entre múltiplos programas sem duplicar código. ( ) Bibliotecas Estáticas têm o código da biblioteca incorporado diretamente no executável durante a linkagem. ( ) Bibliotecas Dinâmicas (ou Compartilhadas) não dependem de arquivos externos em tempo de execução. ( ) Bibliotecas de Cabeçalho contêm declarações de funções e tipos e o código executável. 

Nos compiladores, a tabela de símbolos é uma estrutura utilizada para organizar informações relacionadas aos identificadores de um programa. Assinale a alternativa que descreve corretamente o funcionamento dos identificadores.