Escolar Documentos
Profissional Documentos
Cultura Documentos
Computabilidade e
Complexidade
(ENG10014)
Ø
COMPUTABILIDADE E COMPLEXIDADE
1) ER → AFN
Para os outros 3 casos: R1 + R2, R1R2 e R1*,
usamos as construções dadas nas provas de
que a classe de linguagens regulares é
fechada sob as operações regulares.
• Ex: AFN para ab*
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
a) Transforma o AFD em AFNG (autômato finito
não determinístico generalizado)
• AFNG são AFNs nos quais as setas podem ter ER
como rótulos; o estado inicial tem transição para
todos os outros estados, mas nenhuma transição
chegando de qualquer estado; existe um único
estado final que recebe transição de todos os
outros estados; o estado inicial e de aceitação não
são os mesmos.
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
• Para transformar um AFD em AFNG:
– Adicione um novo estado inicial com seta ε para o
estado inicial antigo.
– Adicione um novo estado final com setas ε
chegando dos estados de aceitação antigos.
– Se quaisquer setas têm múltiplos rótulos,
substituímos cada uma por uma única seta cujo
rótulo é a união dos rótulos anteriores.
– Setas com rótulos Ø entre estados que não tenham
setas podem ser omitidas.
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
b) Transforma AFNG em ER usando a técnica
de eliminação de estados.
Elimina-se estado por estado (exceto inicial e
final) reparando os rótulos do autômato de forma
que seja reconhecida a mesma linguagem.
Quando restar apenas o estado inicial e o final, a
ER equivalente é o rótulo da seta existente entre
eles.
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
• Exemplo de remoção do estado qrem. O novo rótulo é
uma ER que descreve todas as cadeias que levariam o
AFD de qi para qj, seja diretamente ou passando por
qrem.
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
• Exemplo: ER equivalente ao AFD A
AFNG equivalente a A
COMPUTABILIDADE E COMPLEXIDADE
2) AFD → ER
Referências