Olá,
Tenho uma dúvida sobre o enunciado do exercício 1 da lista.
Gostaria se saber o que quer dizer "autômato reduzido". Seria o A~ visto na última aula? Ou somente o AD que é gerado a partir dos algoritmos vistos em sala que transforma o AND em AD?
Obrigado.
Autômato reduzido é o A~ .
Para ficar mais claro (acho):
Para ficar mais claro (acho):
Por um lado foi definida uma relação no Sigma* cujo quociente levava a um autômato, que eu provei ser minimal, menor que todos os outros para a mesma linguagem. Além de tudo, a menos do nome dos estados, ele é único.
Por outro lado, mostrei que a partir de um autômato A dado era possível produzir outro, A~ , acessível e tal que a relação ~ é trivial. Esse autômato é chamado de reduzido e é isomorfo ao autômato minimal.
Por outro lado, mostrei que a partir de um autômato A dado era possível produzir outro, A~ , acessível e tal que a relação ~ é trivial. Esse autômato é chamado de reduzido e é isomorfo ao autômato minimal.