Um Professor do IFCE, ao ministrar Compiladores, propõe que os alunos desenvolvam um compilador simplificado. Em uma das etapas, devem percorrer o código-fonte caractere por caractere, identificar padrões (palavras reservadas, identificadores, operadores e constantes) e organizá-los em unidades estruturadas, podendo utilizar expressões regulares e autômatos finitos.
Considerando as fases clássicas da compilação, essa etapa é denominada

Na teoria da complexidade computacional, as classes P, NP e NP-completo descrevem relações entre problemas de decisão quanto ao tempo necessário para resolvê-los ou verificar suas soluções. Com base nas definições formais e nas relações entre essas classes, assinale a alternativa correta.

Um pesquisador do IFCE está treinando um modelo de classificação com o algoritmo CART para identificar possíveis fraudes em pedidos de auxílio estudantil.
Durante o treinamento, observa que, em determinado nó, todos os registros pertencem à classe “Fraude”, resultando em impureza igual a 0,0. Ele relembra que o CART utiliza uma métrica baseada na probabilidade de um elemento ser classificado incorretamente, considerando a distribuição das classes no nó.
Com base nisso, assinale a alternativa que apresenta corretamente a métrica de impureza utilizada pelo algoritmo CART.

Na teoria das linguagens formais, a Hierarquia de Chomsky classifica as linguagens em quatro tipos (0, 1, 2 e 3), de acordo com seu poder de geração e o modelo computacional capaz de reconhecê-las. Considerando essa classificação, as linguagens livres de contexto, pertencentes ao Tipo 2 da hierarquia, são reconhecidas por qual dos seguintes modelos computacionais?

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).

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

Qual atributo de dependabilidade é definido como a probabilidade de um sistema executar sua função pretendida, sem falhas, durante um intervalo de tempo especificado?

No desenvolvimento de algoritmos, a recursividade pode ser classificada em diferentes tipos, de acordo com a forma como as chamadas recursivas ocorrem. Nesse sentido, considere que uma função, durante sua execução, realiza uma chamada para ela mesma, ou seja, a própria função invoca diretamente sua definição em seu corpo. Essa situação caracteriza qual tipo de recursividade?

Um professor IFCE orienta estudantes na implementação de funções genéricas que operam sobre diferentes tipos de dados. O docente apresenta uma função que calcula a média de uma coleção de valores, podendo ser aplicada a inteiros, números de ponto flutuante ou outros tipos numéricos, sem alterar a lógica do cálculo.
Qual é o tipo de polimorfismo envolvido nessa situação?

Considere o seguinte trecho de código simples:

{ x > 0 }
y := x + 1
{ y > 1 }

A pré-condição { x > 0 } garante que, depois da execução da instrução y := x + 1, a pós-condição {y > 1} será satisfeita, permitindo raciocinar formalmente sobre a correção do programa sem executá-lo.
Com base nessa abordagem, qual é o tipo de semântica formal utilizada para relacionar précondições e pós-condições e raciocinar sobre a correção do programa?