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?

Um professor IFCE está orientando estudantes no desenvolvimento de um sistema especialista para apoio à tomada de decisão em processos acadêmicos. Durante a explicação, o docente destaca que, nesse sistema, o programa é construído por meio da declaração de fatos e regras, enquanto um mecanismo de inferência responde às consultas dos usuários e determina automaticamente as conclusões possíveis.

Com base nessa situação, assinale a alternativa que apresenta corretamente o paradigma de programação utilizado e uma linguagem que o implementa, respectivamente.

No processo de garantia da qualidade de software, as atividades de verificação e validação possuem objetivos distintos no ciclo de desenvolvimento. A respeito das características associadas a essas atividades, assinale a alternativa INCORRETA.

Um professor do IFCE orienta estudantes no desenvolvimento de um sistema para geração de relatórios acadêmicos personalizados. O sistema deve permitir a criação de relatórios contendo diferentes elementos, como capa, sumário, gráficos e tabelas. Além disso, um mesmo relatório pode possuir representações distintas, como versões simplificadas ou completas, embora o processo de construção siga uma sequência definida de etapas. Considerando os padrões de projeto (Design Patterns) da engenharia de software, assinale a alternativa que apresenta o padrão criacional que separa a construção de um objeto complexo de sua representação, permitindo gerar diferentes representações a partir do mesmo processo de construção.

A atividade de testes é essencial para a garantia da qualidade de software, sendo aplicada em diferentes níveis e com objetivos distintos ao longo do ciclo de desenvolvimento. Considerando os diversos tipos de testes de software, informe se é verdadeiro (V) ou falso (F) o que se afirma a seguir e assinale a alternativa com a sequência correta.

( ) O teste unitário tem por finalidade avaliar o sistema completo e integrado, verificando sua conformidade com os requisitos especificados.
( ) O teste de integração tem como objetivo identificar falhas na comunicação e na interação entre módulos ou componentes do sistema.
( ) O teste de regressão é realizado após modificações no sistema, com o propósito de verificar se funcionalidades previamente implementadas continuam operando corretamente.
( ) O teste caixa branca fundamenta-se na análise da estrutura interna do código, considerando fluxos lógicos, decisões e caminhos de execução.