em Logica para Determinizar Automatos.

Preciso fazer um programa que determinize um autômato finito não deterministico em um AFD e estou bastante perdido na logica de como programar.

Se alguém puder me dar uma ideia de como encaminhar algumas partes eu ficaria grato. Não consegui começar o código ainda.