C/Visual C - AUTOMATA FINITO NO DETERMINISTA

Necesito implementar un automata finito no determinista que me valide una cadena de caracteres algo como 1012212

ya implemente uno para automatas finitos deterministas pero me encuentro algo atorado con ese

el problema es obiamente mas relacionado con automatas que con c++ en realidad peor apreciaria si me ayudaran a elaborar un proceso para validar la cadena

de antemano gracias

Bueno, lo que tienes que hacer es convertir el AFND a un AFD, pues el ND no puede ser programado como tal por las ambigüedades entre estados, el algoritmo para convertirlo no es muy complejo y te da un AFD con el que puedes validar cualquier cadena que también sea válida para el AFND.