A finito determinístico.
B que possui dois estados iniciais.
C finito não determinístico, sem movimentos vazios.
D finito não determinístico, com movimentos vazios.
E que gera mais de um próximo estado a partir do estado q₃.