Implementação em Java de um interpretador de máquinas de estados finitas utilzando arquivos XML como entrada