Os algoritmos QuickSort e MergeSort são conhecidos algoritmos de ordenação e que apresentam um bom desempenho. Em relação as diferenças entre os dois algoritmos é correto afirmar:

Considere um arranjo (vetor) de inteiros com n elementos que está quase ordenado (isto é, apenas alguns elementos estão fora de ordem). Sabendo disso, você deseja escolher o algoritmo de ordenação que seja mais eficiente neste cenário. Qual das seguintes alternativas apresenta o melhor algoritmo de ordenação a ser escolhido para ordenar um arranjo (vetor) quase ordenado, em termos de desempenho esperado?

Considere um grafo não direcionado e ponderado, representado por G = (V,E), onde V é o conjunto de vértices e E é o conjunto de arestas com pesos positivos. Você precisa encontrar o caminho mais curto de um vértice s para todos os outros vértices do grafo. Qual dos seguintes algoritmos é mais eficiente para resolver esse problema, considerando que o grafo pode conter ciclos e as arestas possuem apenas pesos positivos?

Considere um autômato finito determinístico (AFD) A=(Q,Σ,δ,q0,F), onde:

• Q={q0,q1,q2} é o conjunto de estados.

• Σ={a,b} é o alfabeto.

• A função de transição δ é definida da seguinte maneira:

• δ(q0,a)=q1

• δ(q0,b)=q0

• δ(q1,a)=q1

• δ(q1,b)=q2

• δ(q2,a)=q1

• δ(q2,b)=q0

• O estado inicial é q0.

• O conjunto de estados de aceitação é F={q1}.

Qual das seguintes expressões descreve corretamente a linguagem reconhecida pelo autômato A? 

Considere a linguagem L com alfabeto {0,1} definida como a linguagem das palavras binárias que possuem um número par de 1s. Considere essas informações e julgue as afirmativas abaixo:

I. L é uma linguagem regular.
II. É possível construir um autômato finito determinístico (DFA) que reconhece a linguagem L.
III. A linguagem L não pode ser denotada por uma expressão regular.
IV. A linguagem L pertence à classe de linguagens livres de contexto, mas não à classe de linguagens regulares.

Está(ão) correta(s) a(s) afirmação(ões): 

Analise as afirmativas abaixo sobre Máquina de Turing e linguagens:

I. Toda linguagem recursivamente enumerável é também uma linguagem regular, pois pode ser aceita por uma máquina de Turing não-determinística.

II. A união de duas linguagens recursivas é uma linguagem recursiva.

III. III O problema da parada pode ser resolvido por uma máquina de Turing determinística, desde que tenha uma quantidade de fita infinita disponível.

IV. Toda linguagem recursiva também é recursivamente enumerável.

Está(ão) correta(s) a(s) afirmação(ões):