repOk NFA implementado (verificacion de funcionamiento pendiente)