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');