Buscar

Salve - Aula 05 - Teoria da Computação - Teste de Conhecimento

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes
Você viu 3, do total de 3 páginas

Prévia do material em texto

TEORIA DA COMPUTAÇÃO
5a aula
 
 
 1a Questão
A definição formal diz que um autômato finito é uma lista de cinco objetos: conjunto de estados, alfabeto de entrada,
regras para movimentação, estado inicial, e estados de aceitação. Essa lista de cinco elementos é frequentemente
chamada:
Mapeamento
Five elements
Array
Autômato quinto
 quíntupla
Explicação:
Dizemos que um autômato finito é representado por uma quíntupla (Q, Ʃ, δ, q0, F), onde Q é o conjunto finito de
estados, Ʃ é o conjunto finito de símbolos de entrada, δ é a função de transição, q0 é o estado inicial (q0 ∈ Q o estado
inicial é apontado por uma seta) e F o conjunto de estados finais ou de aceitação (os estados de aceitação são apontados
por um círculo dentro de outro ou asterisco e um estado inicial também pode ser final).
 
 2a Questão
Se o estado inicial for também estado final em um autômato finito, então esse autômato
não tem outros estados finais.
 aceita a cadeia vazia.
não aceita a cadeia vazia.
é determinístico.
é não determinístico.
 
Explicação:
Quando o estado inicial também é final num AF, então ele aceita a cadeia vazia. 
 
 3a Questão
http://simulado.estacio.br/alunos/inicio.asp
javascript:voltar();
Um automato finito é representado por um quintupla (Q, Ʃ, δ, q0, F) onde q0 representa 
 
o conjunto de estados finais
O número de estados
 o estado inicial
 
os simbolos de entrada
as transições
Explicação:
Seguindo a propriedade de um autômato finito que é representado por uma quíntupla (Q, Ʃ, δ, q0, F):
 Q = número de estados = {q0, q1, q2, q3}
 Ʃ = símbolos de entrada = {0,1}
 δ = transições = 
 δ (q0, 0) = q2
 δ (q0, 1) = q1
 δ (q1, 0) = q3
 δ (q1, 1) = q0
 δ (q2, 0) = q0
 δ (q2, 1) = q3
 δ (q3, 0) = não possui = Ø (vazio)
 δ (q3, 1) = q2
 q0 = estado inicial = {q0}
 F = conjunto de estados finais = {q0}
 
 4a Questão
Seja um Autômato Finito Não Determinístico (AFN) com 4 estados. Aplicando-se o algoritmo de conversão de um AFN para
um Autômato Finito Determinístico (AFD), em quantos estados, no máximo, resultaria o AFD considerando-se os estados
inúteis?
 
32
64
128
 
 16
8
Explicação:
O cálculo é simples. Basta calcular 2 elevado ao número de estados do AFN: portanto 16 estados
 
 5a Questão
Constituem um conjunto de linguagens decidíveis bastante simples e com propriedades bem definidas e compreendidas.
Está é uma característica encontrada nos:
Grafos
Autômatos Indeterminados
Árvores Binária
Autômatos Infinitos
 Autômatos Finitos
Explicação:
Os Autômatos Finitos são facilmente descritas por expressões simples, chamadas Expressões Regulares.
 
 6a Questão
Um automato finito é representado por um quintupla (Q, Ʃ, δ, q0, F) onde F representa 
 
os simbolos de entrada
O número de estados
 o conjunto de estados finais
o estado inicial
 
as transições
Explicação:
Seguindo a propriedade de um autômato finito que é representado por uma quíntupla (Q, Ʃ, δ, q0, F):
 Q = número de estados = {q0, q1, q2, q3}
 Ʃ = símbolos de entrada = {0,1}
 δ = transições = 
 δ (q0, 0) = q2
 δ (q0, 1) = q1
 δ (q1, 0) = q3
 δ (q1, 1) = q0
 δ (q2, 0) = q0
 δ (q2, 1) = q3
 δ (q3, 0) = não possui = Ø (vazio)
 δ (q3, 1) = q2
 q0 = estado inicial = {q0}
 F = conjunto de estados finais = {q0}
javascript:abre_colabore('38403','194085247','3875603168');

Continue navegando