Proponemos un algoritmo de inferencia gramatical para lenguajes regulares que permite ahorrar computo al usar dos criterios diferentes para elegir los estados a ser procesados, un criterio se usa en la primera fase del proceso de inferencia (al principio) y el otro en el resto del proceso. Realizamos experimentos para observar el desempeno del algoritmo, para aprender sobre el tamano ideal de su primera fase y para mostrar su aplicacion en la solucion de un problema especifico en bioinformatica: la prediccion de sitios de corte en poliproteinas codificadas por virus de la familia Potyviridae.