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.